Author： Della Penna Giuseppe Intrigila Benedetto Melatti Igor Tronci Enrico Venturini Zilli Marisa
Publisher： Springer Publishing Company
ISSN： 1433-2779
Source： International Journal on Software Tools for Technology Transfer, Vol.6, Iss.4, 2004-08, pp. : 320-341
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Hardness of equivalence checking for composed finite-state systems
By Sawa Zdeněk
Acta Informatica, Vol. 46, Iss. 3, 2009-05 ,pp. :
Access to resources
Recommend
Fixed point characterization of infinite behavior of finite-state systems
By Niwinski D.
Theoretical Computer Science, Vol. 189, Iss. 1, 1997-12 ,pp. :
By BASU SUMITA
Cybernetics and Systems, Vol. 36, Iss. 2, 2005-03 ,pp. :
By Dai J.J. Lathrop J.I. Lutz J.H. Mayordomo E.
Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. :