Models and Analysis in Distributed Systems

Serge Haddad 1 Fabrice Kordon 2 Laurent Pautet Laure Petrucci
1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Books
Haddad, Serge and Kordon, Fabrice and Pautet, Laurent and Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Liste complète des métadonnées
https://hal.inria.fr/hal-00779944
Contributor : Stefan Haar <>
Submitted on : Tuesday, January 22, 2013 - 5:31:03 PM
Last modification on : Friday, August 31, 2018 - 9:25:57 AM

Identifiers

  • HAL Id : hal-00779944, version 1

Collections

ENS-CACHAN | UPMC | LIP6

Citation

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Models and Analysis in Distributed Systems. Haddad, Serge and Kordon, Fabrice and Pautet, Laurent and Petrucci, Laure. John Wiley & Sons, Ltd., 2011. 〈hal-00779944〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

121

Contact


archive-ouverte@inria.fr