Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 8461
Domains
| Origin | Files produced by the author(s) |
|---|
Books
Year : 2014
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01398026
Submitted on : Wednesday, November 16, 2016-3:43:00 PM
Last modification on : Wednesday, February 26, 2025-4:14:03 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01398026 , version 1
- DOI : 10.1007/978-3-662-43613-4
Cite
Erika Ábrahám, Catuscia Palamidessi. Formal Techniques for Distributed Objects, Components, and Systems. Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩. ⟨hal-01398026⟩
Collections
407
View
224
Download