LEADER 02018nam 2200517zu 450 001 9910376615003321 005 20210807005146.0 035 $a(CKB)3780000000085636 035 $a(SSID)ssj0001651066 035 $a(PQKBManifestationID)16426503 035 $a(PQKBTitleCode)TC0001651066 035 $a(PQKBWorkID)14977346 035 $a(PQKB)10744862 035 $a(WaSeSS)IndRDA00054108 035 $a(Association for Computing Machinery)10.1145/2728606 035 $a(EXLCZ)993780000000085636 100 $a20160829d2015 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHSCC '15 : 18th ACM International Conference on Hybrid Systems : Computation and Control 210 31$a[Place of publication not identified]$cACM$d2015 215 $a1 online resource (321 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-4503-3433-4 410 0$aACM Conferences 517 1 $aHybrid Systems Computation and Control '15 :$eeighteenth Association for Computing Machinery International Conference on Hybrid Systems : Computation and Control 517 1 $aProceedings of the 18th International Conference on Hybrid Systems :$eComputation and Control 517 1 $aHSCC '15 517 1 $a18th International Conference on Hybrid Systems :$eComputation and Control (part of CPS Week), Seattle, WA, USA - April 14-16, 2015 606 $aComputer Science$2HILCC 606 $aEngineering & Applied Sciences$2HILCC 615 7$aComputer Science 615 7$aEngineering & Applied Sciences 700 $aGirard$b Antoine$0919189 702 $aSankaranarayanan$b Sriram 702 $aGirard$b Antoine 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376615003321 996 $aHSCC '15 : 18th ACM International Conference on Hybrid Systems : Computation and Control$92061624 997 $aUNINA