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

Abstract : Book Front Matter of LNCS 6722
Document type :
Books
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01583312
Contributor : Hal Ifip <>
Submitted on : Thursday, September 7, 2017 - 11:10:09 AM
Last modification on : Tuesday, February 26, 2019 - 10:55:14 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

55

Files downloads

45