المؤلفون: Akshayl, S., Chakrabortyl, Supratik, Goharshady, Amir Kafshdar, Govind, Rajanbabu, Motwani, Harshit Jitendra, Varanasi, Sai Teja

المصدر: Formal Methods Lecture Notes in Computer Science. :111-130

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-549041
https://doi.org/10.1007/978-3-031-71162-6_6
https://uu.diva-portal.org/smash/get/diva2:1933294/FULLTEXT01.pdf

المؤلفون: Akshay, S., Gastin, Paul, Govind, Rajanbabu, Srivathsan, B.

مصطلحات موضوعية: Event-clock automata, verification, zones, simulations, reachability, Computer Sciences, Datavetenskap (datalogi)

وصف الملف: application/pdf

Relation: Logical Methods in Computer Science, 2024, Volume 20, Issue 3:3, s. 1-41; ISI:001282755900001

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-541458
https://doi.org/10.46298/LMCS-20(3:2)2024