![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Niwinski D.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.189, Iss.1, 1997-12, pp. : 1-69
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Hardness of equivalence checking for composed finite-state systems
By Sawa Zdeněk
Acta Informatica, Vol. 46, Iss. 3, 2009-05 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By BASU SUMITA
Cybernetics and Systems, Vol. 36, Iss. 2, 2005-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Dai J.J. Lathrop J.I. Lutz J.H. Mayordomo E.
Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. :