Formal Techniques for Distributed Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2012

Formal Techniques for Distributed Systems

Abstract

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

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
86 View
136 Download

Altmetric

Share

Gmail Facebook X LinkedIn More