Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 8461
Domains
Computer Science [cs]| 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, April 19, 2023-4:22:28 AM
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: 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩. ⟨hal-01398026⟩
Collections
365
View
202
Download