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
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
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〉
