Formal Techniques for Distributed Systems - Formal Techniques for Distributed Systems Access content directly
Books Year : 2011

Formal Techniques for Distributed Systems

Roberto Bruni
  • Function : Author
  • PersonId : 1003772
Juergen Dingel
  • Function : Author
  • PersonId : 923301

Abstract

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

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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 View
105 Download

Altmetric

Share

Gmail Facebook X LinkedIn More