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 : 2010

Formal Techniques for Distributed Systems

Résumé

Book Front Matter of LNCS 6117
LNCS6117DL.pdf (159.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01555338 , version 1 (04-07-2017)

Licence

Paternité

Identifiants

Citer

John Hatcliff, Elena Zucca. Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings. Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩. ⟨hal-01555338⟩
55 Consultations
106 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More