Author： Edelkamp Stefan Leue Stefan Lluch-Lafuente Alberto
Publisher： Springer Publishing Company
ISSN： 1433-2779
Source： International Journal on Software Tools for Technology Transfer, Vol.5, Iss.2-3, 2004-03, pp. : 247-267
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
By Edelkamp S. Lluch-Lafuente A. Leue S.
Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. :
Access to resources
Recommend
Bounded model checking of infinite state systems
By Schuele Tobias Schneider Klaus
Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. :
Model Checking UML State Machines and Collaborations
By Schafer T. Knapp A. Merz S.
Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. :