Timed Automata Relaxation for Reachability

Autor:	Jaroslav Bendík
Rok vydání:	2021
DOI:	10.26226/morressier.604907f41a80aac83ca25cf6
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::819c609c01ed167485cd1252e9366b11 https://doi.org/10.26226/morressier.604907f41a80aac83ca25cf6 Zobrazit plný text záznamu