Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 Mai 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week.Association for Computing Machinery, Inc, S. 22:1-22:1111 S. 22. (CPSWeek: Cyber-physical Systems).
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung