Formal Techniques for Distributed Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2012

Formal Techniques for Distributed Systems

Résumé

Book Front Matter of LNCS 7273
BookFrontmatter.pdf (114.17 Ko) Télécharger le fichier

Dates et versions

hal-01528737 , version 1 (29-05-2017)

Licence

Paternité

Identifiants

Citer

Holger Giese, Grigore Rosu. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Springer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩. ⟨hal-01528737⟩
93 Consultations
137 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More