Author: Bozga Marius Fernandez Jean-Claude Kerbrat Alain Mounier Laurent
Publisher: Springer Publishing Company
ISSN: 1433-2779
Source: International Journal on Software Tools for Technology Transfer, Vol.1, Iss.1-2, 1997-12, pp. : 166-183
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
Formal verification of a leader election protocol in process algebra
By Fredlund L.-a. Groote J.F. Korver H.
Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. :