Formal Techniques for Distributed Systems
Abstract
Book Front Matter of LNCS 6722
Books
Year : 2011
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01583312
Submitted on : Thursday, September 7, 2017-11:10:09 AM
Last modification on : Wednesday, January 4, 2023-3:22:08 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01583312 , version 1
- DOI : 10.1007/978-3-642-21461-5
Cite
Roberto Bruni, Juergen Dingel. Formal Techniques for Distributed Systems. Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩. ⟨hal-01583312⟩
Collections
62
View
111
Download