Skip to Main content Skip to Navigation
Books

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
Complete list of metadata
https://hal.inria.fr/hal-00779944
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Tuesday, January 22, 2013 - 5:31:03 PM
Last modification on : Sunday, June 26, 2022 - 9:58:32 AM

Identifiers

  • HAL Id : hal-00779944, version 1

Collections

UPMC | CNRS | ENS-CACHAN | LIP6 | SORBONNE-UNIVERSITE | SU-SCIENCES | ENS-PARIS-SACLAY

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

61

 

Contact                    Legal Notice                    Personal Data