Formal Techniques for Distributed Objects, Components, and Systems
Abstract
Book Front Matter of LNCS 11535
Books
Year : 2019
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-02313743
Submitted on : Friday, October 11, 2019-2:55:31 PM
Last modification on : Tuesday, January 18, 2022-2:26:06 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-02313743 , version 1
- DOI : 10.1007/978-3-030-21759-4
Cite
Jorge Pérez, Nobuko Yoshida. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-11535, 2019, Lecture Notes in Computer Science, 978-3-030-21758-7. ⟨10.1007/978-3-030-21759-4⟩. ⟨hal-02313743⟩
Collections
63
View
86
Download