Autor:	David Basin, Nils Klarlund
Rok vydání:	1998
Předmět:	Monadic second-order logic High-level verification Functional verification Theoretical computer science Symbolic reasoning Hardware and Architecture Computer science Software Theoretical Computer Science Automaton Intelligent verification
Zdroj:	Formal Methods in System Design. 13:255-288
ISSN:	0925-9856
DOI:	10.1023/a:1008644009416
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fd8ad548a3cf7e09ac56631e38f75c4b https://doi.org/10.1023/a:1008644009416 Zobrazit plný text záznamu Full text from SpringerLink