Hardness of equivalence checking for composed finite-state systems

DSpace/Manakin Repository

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

Show full item record


Title: Hardness of equivalence checking for composed finite-state systems
Author: Sawa, Zdeněk
Jančar, Petr
Date issue: 2009
Citation: Acta informatica. 2009, vol. 46, no. 3, p. 169-191.
URI: http://hdl.handle.net/10084/71281
ISSN: 0001-5903
1432-0525
DOI: 10.1007/s00236-008-0088-x
URI: http://dx.doi.org/10.1007/s00236-008-0088-x
Type: article
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