The Effect of Transition Granularity in the Model Checking of Reactive Systems

Autor:	Péter Szkupien, Vince Molnár
Rok vydání:	2022
Zdroj:	Proceedings of the 29th Minisymposium.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1d194fd733c8f1992a54bc1b9ace6ebc https://doi.org/10.3311/minisy2022-014 Zobrazit plný text záznamu