Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 10854
Books
Year : 2018
Hal Ifip : 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: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. 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
202
View
94
Download