Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 12136
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
Books
Year : 2020
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-03283230
Submitted on : Friday, July 9, 2021-6:15:38 PM
Last modification on : Friday, July 9, 2021-6:16:45 PM
Long-term archiving on : Sunday, October 10, 2021-8:30:36 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-03283230 , version 1
- DOI : 10.1007/978-3-030-50086-3
Cite
Alexey Gotsman, Ana Sokolova. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-12136, 2020, Lecture Notes in Computer Science, 978-3-030-50085-6. ⟨10.1007/978-3-030-50086-3⟩. ⟨hal-03283230⟩
Collections
63
View
48
Download