Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 10854
Books
Year : 2018
Connect in order to contact the contributor
https://inria.hal.science/hal-01824818
Submitted on : Wednesday, June 27, 2018-3:55:35 PM
Last modification on : Tuesday, October 31, 2023-10:22:07 AM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01824818 , version 1
- DOI : 10.1007/978-3-319-92612-4
Cite
Christel Baier, Luís Caires. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩. ⟨hal-01824818⟩
Collections
358
View
126
Download