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.6, Iss.4, 2004-08, pp. : 277-301
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. :
Deciding Global Partial-Order Properties
By Alur Rajeev McMillan Ken Peled Doron
Formal Methods in System Design, Vol. 26, Iss. 1, 2005-01 ,pp. :