LEADER 01636nam 2200457zu 450 001 9910375877303321 005 20210807005145.0 035 $a(CKB)3780000000085351 035 $a(SSID)ssj0001139216 035 $a(PQKBManifestationID)11653754 035 $a(PQKBTitleCode)TC0001139216 035 $a(PQKBWorkID)11183728 035 $a(PQKB)11520501 035 $a(WaSeSS)IndRDA00012854 035 $a(Association for Computing Machinery)10.1145/2461328 035 $a(EXLCZ)993780000000085351 100 $a20160829d2013 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHscc 13 Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control 210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d2013 215 $a1 online resource (366 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-4503-1567-4 410 0$aACM Conferences 517 1 $aProceedings of the 16th International Conference on Hybrid Systems :$eComputation and Control 606 $aHybrid systems$vCongresses 606 $aHybrid computers$vCongresses 615 0$aHybrid systems 615 0$aHybrid computers 700 $aHscc 13 Conference Committee$0925104 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910375877303321 996 $aHscc 13 Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control$92076469 997 $aUNINA