Symbolic model checking of extended finite state machines with linear constraints over integer variables

Autor:	Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
Rok vydání:	2006
Předmět:	Computational Theory and Mathematics Hardware and Architecture Information Systems Theoretical Computer Science
Zdroj:	Systems and Computers in Japan. 37:64-72
ISSN:	1520-684X 0882-1666
DOI:	10.1002/scj.20264
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a4fbe3ef541c0aff20a0d6cc40d2b050 https://doi.org/10.1002/scj.20264 Zobrazit plný text záznamu Plný text