Symbolic Verification of Timed Automata with LMNtal

Autor:	Hashimoto, Ayami
Přispěvatelé:	上田 和紀
Jazyk:	japonština
Rok vydání:	2022
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=jairo_______::f19d2d9dda99a150a19e8c453c943a18 http://hdl.handle.net/2065/00083353 Zobrazit plný text záznamu