Author: Duflot Marie Fribourg Laurent Picaronny Claudine
Publisher: Springer Publishing Company
ISSN: 0178-2770
Source: Distributed Computing, Vol.17, Iss.1, 2004-02, pp. : 65-76
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
Observational specifications and the indistinguishability assumption
By Bernot G. Bidoit M. Knapik T.
Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. :
Model Checking with Strong Fairness
By Kesten Yonit Pnueli Amir Raviv Li-On Shahar Elad
Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. :