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 <>
Submitted on : Tuesday, January 22, 2013 - 5:31:03 PM
Last modification on : Tuesday, March 30, 2021 - 12:12:04 PM

Identifiers

  • HAL Id : hal-00779944, version 1

Collections

CNRS | ENS-CACHAN | UPMC | 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

Share

Metrics

Record views

189

 

Contact                    Legal Notice                    Personal Data