Skip to Main content Skip to Navigation
Books

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013

Abstract : Book Front Matter of LNCS 7892
Document type :
Books
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01515249
Contributor : Hal Ifip <>
Submitted on : Thursday, April 27, 2017 - 10:46:52 AM
Last modification on : Wednesday, April 15, 2020 - 9:56:12 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Dirk Beyer, Michele Boreale. Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Springer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩. ⟨hal-01515249⟩

Share

Metrics

Record views

178

Files downloads

161