Author: Gupta Indranil Nagda Mahvesh Devaraj Christo
Publisher: Springer Publishing Company
ISSN: 0178-2770
Source: Distributed Computing, Vol.20, Iss.2, 2007-08, pp. : 95-114
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
Polynomial Systems from Certain Differential Equations
By Wang D.
Journal of Symbolic Computation, Vol. 28, Iss. 1, 1999-07 ,pp. :
Formal verification of dependable distributed protocols
Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. :