Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 8461
Domains
| Origin | Files produced by the author(s) |
|---|---|
| licence |
Books
Year : 2014
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 : Friday, October 24, 2025-5:26:03 PM
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
820
View
300
Download