LEADER 01169nam 2200361 450 001 9910725933603321 005 20230829121516.0 024 7 $a10.1145/3575870 035 $a(CKB)5580000000547327 035 $a(NjHacI)995580000000547327 035 $a(EXLCZ)995580000000547327 100 $a20230829d2023 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHSCC '23 $eProceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control /$fAssociation for Computing Machinery 210 1$aNew York, NY :$cAssociation for Computing Machinery,$d2023. 215 $a1 online resource (239 pages) 311 $a979-84-00-70033-0 517 $aProceedings of the 26th ACM International Conference on Hybrid Systems 606 $aHybrid computers$vCongresses 606 $aHybrid systems$vCongresses 615 0$aHybrid computers 615 0$aHybrid systems 676 $a004.19 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910725933603321 996 $aHSCC '23$93463638 997 $aUNINA