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

Formal Techniques for Distributed Systems

Roberto Bruni
  • Fonction : Auteur
  • PersonId : 1003772
Juergen Dingel
  • Fonction : Auteur
  • PersonId : 923301

Résumé

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

Dates et versions

hal-01583312 , version 1 (07-09-2017)

Licence

Paternité

Identifiants

Citer

Roberto Bruni, Juergen Dingel. Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩. ⟨hal-01583312⟩
47 Consultations
105 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More