Equivalence-checking with infinite-state systems: Techniques and results

Autor
Datum vydání
2002
Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
0302-9743
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002. Proceedings. 2002, p. 41-73.
Dostupné na
http://dx.doi.org/10.1007/3-540-36137-5_3
URI
http://hdl.handle.net/10084/57565
Kolekce
Citace PRO