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
Type de document :
Ouvrage (y compris édition critique et traduction)
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Liste complète des métadonnées
https://hal.inria.fr/hal-00779944
Contributeur : Stefan Haar <>
Soumis le : mardi 22 janvier 2013 - 17:31:03
Dernière modification le : mercredi 6 février 2019 - 13:42:31

Identifiants

  • HAL Id : hal-00779944, version 1

Collections

ENS-CACHAN | UPMC | LIP6 | SORBONNE-UNIVERSITE

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

131

Contact


archive-ouverte@inria.fr