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

Author
Date
2006
Type
article
Location
Není ve fondu ÚK
ISSN
1471-0684
Metadata
Show full item record
Citation source document
Theory and Practice of Logic Programming. 2006, vol. 6, issue 3.
Available at
http://dx.doi.org/10.1017/S1471068406002651
URI
http://hdl.handle.net/10084/56289
Collections
Citace PRO