01296nam 2200397 450 991056645060332120230830133345.010.1145/3501710(CKB)5840000000022992(NjHacI)995840000000022992(EXLCZ)99584000000002299220230830d2022 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierHSCC '22 Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control /Ezio Bartocci, Sylvie PutotNew York, NY :Association for Computing Machinery,2022.1 online resource (265 pages)1-4503-9196-6 Proceedings of the 25th ACM International Conference on Hybrid Systems25th ACM International Conference on Hybrid SystemsHybrid computersCongressesHybrid systemsCongressesHybrid computersHybrid systems004.19Bartocci Ezio905456Putot SylvieNjHacINjHaclBOOK9910566450603321HSCC '223497435UNINA