Author: Fernández Anta Antonio
Publisher: Springer Publishing Company
ISSN: 1000-9000
Source: Journal of Computer Science and Technology, Vol.25, Iss.6, 2010-11, pp. : 1267-1281
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
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. :