Formal Techniques for Distributed Systems
Abstract
Book Front Matter of LNCS 6117
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
Books
Year : 2010
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01555338
Submitted on : Tuesday, July 4, 2017-9:21:56 AM
Last modification on : Monday, October 30, 2023-4:10:05 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01555338 , version 1
- DOI : 10.1007/978-3-642-13464-7
Cite
John Hatcliff, Elena Zucca. Formal Techniques for Distributed Systems. Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩. ⟨hal-01555338⟩
Collections
67
View
110
Download