Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Abstract : Book Front Matter of LNCS 6117
Document type :
Books
Liste complète des métadonnées

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/hal-01555338
Contributor : Hal Ifip <>
Submitted on : Tuesday, July 4, 2017 - 9:21:56 AM
Last modification on : Wednesday, January 24, 2018 - 11:37:29 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

John Hatcliff, Elena Zucca. Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings. Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. 〈10.1007/978-3-642-13464-7〉. 〈hal-01555338〉

Share

Metrics

Record views

45

Files downloads

27