Detail

Publication date: 3 de March, 2022

Formal Techniques for Distributed Objects, Components, and Systems – 38th IFIP WG 6.1 International Conference, FORTE 2018

Authors

Christel Baier, Luis Caires,

URL https://doi.org/10.1007/978-3-319-92612-4
Publisher Springer
Series Lecture Notes in Computer Science
Volume 10854
URL https://doi.org/10.1007/978-3-319-92612-4
Publisher Springer
Series Lecture Notes in Computer Science
Volume 10854