01169nam 2200361 450 991072593360332120230829121516.010.1145/3575870(CKB)5580000000547327(NjHacI)995580000000547327(EXLCZ)99558000000054732720230829d2023 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierHSCC '23 Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control /Association for Computing MachineryNew York, NY :Association for Computing Machinery,2023.1 online resource (239 pages)979-84-00-70033-0 Proceedings of the 26th ACM International Conference on Hybrid SystemsHybrid computersCongressesHybrid systemsCongressesHybrid computersHybrid systems004.19NjHacINjHaclBOOK9910725933603321HSCC '233463638UNINA