Equivalence-checking on infinite-state systems: Techniques and results
Datum vydání
2006Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
1471-0684
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
Theory and Practice of Logic Programming. 2006, vol. 6, issue 3.