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

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/56289

Show full item record


Title: Equivalence-checking on infinite-state systems: Techniques and results
Author: Kučera, Antonín
Jančar, Petr
Date issue: 2006
Citation: Theory and practice of logic programming. 2006, vol. 6, issue 3.
URI: http://hdl.handle.net/10084/56289
ISSN: 1471-0684
DOI: 10.1017/S1471068406002651
URI: http://dx.doi.org/10.1017/S1471068406002651
Type: article
Access rights: Fulltext Request
Počet citací dokumentu:

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics