Formal Techniques for Distributed Systems
Abstract
Book Front Matter of LNCS 7273
Books
Year : 2012
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01528737
Submitted on : Monday, May 29, 2017-3:54:01 PM
Last modification on : Friday, January 12, 2024-1:50:04 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01528737 , version 1
- DOI : 10.1007/978-3-642-30793-5
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⟩
Collections
91
View
137
Download