LEADER 01327nam 2200385 450 001 9910376353103321 005 20230808193712.0 035 $a(CKB)3710000000729958 035 $a(WaSeSS)IndRDA00103172 035 $a(EXLCZ)993710000000729958 100 $a20180813d2016 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHSCC '16 $eproceedings of the 19th International Conference on Hybrid Systems : Computation and Control : April 12-14, 2016, Vienna , Austria /$fsponsored by ACM SIGBED 210 1$aNew York :$cACM,$d2016. 215 $a1 online resource (308 pages) 311 $a1-4503-3955-7 517 1 $aHybrid Systems Computation and Control 2016 606 $aDigital control systems$vCongresses 606 $aHybrid computers$vCongresses 606 $aCooperating objects (Computer systems)$vCongresses 615 0$aDigital control systems 615 0$aHybrid computers 615 0$aCooperating objects (Computer systems) 676 $a004.19 712 02$aAssociation for Computing Machinery.$bSpecial Interest Group on Embedded Systems, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aBOOK 912 $a9910376353103321 996 $aHSCC '16$91953890 997 $aUNINA