Formal Techniques for Distributed Systems
Abstract
Book Front Matter of LNCS 7273
Books
Year : 2012
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. Springer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩. ⟨hal-01528737⟩
Collections
291
View
192
Download