Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 9688
Domains
| Origin | Files produced by the author(s) |
|---|
Books
Year : 2016
Connect in order to contact the contributor
https://inria.hal.science/hal-01432933
Submitted on : Thursday, January 12, 2017-11:35:13 AM
Last modification on : Monday, April 14, 2025-2:24:03 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01432933 , version 1
- DOI : 10.1007/978-3-319-39570-8
Cite
Elvira Albert, Ivan Lanese. Formal Techniques for Distributed Objects, Components, and Systems. Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩. ⟨hal-01432933⟩
Collections
216
View
267
Download