Models and Analysis in Distributed Systems - Archive ouverte HAL
Ouvrages Année : 2011

Models and Analysis in Distributed Systems

Serge Haddad
Laboratoire Spécification et Vérification [Cachan]
CV
Fabrice Kordon
Modélisation et Vérification
CV
Laurent Pautet
Laure Petrucci

Domaines

Autre [cs.OH]

Stefan Haar  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00779944

Soumis le : mardi 22 janvier 2013-17:31:03

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-00779944 , version 1 (22-01-2013)

Identifiants

  • HAL Id : hal-00779944 , version 1

Citer

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS ENS-CACHAN LIP6 SORBONNE-UNIVERSITE SU-SCIENCES ENS-PARIS-SACLAY
97 Consultations
0 Téléchargements

Partager

More