Skip to Main content Skip to Navigation
Books

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

Abstract : Book Front Matter of LNCS 10854
Document type :
Books
Complete list of metadata

https://hal.inria.fr/hal-01824818
Contributor : Hal Ifip <>
Submitted on : Wednesday, June 27, 2018 - 3:55:35 PM
Last modification on : Tuesday, June 29, 2021 - 12:20:08 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

261

Files downloads

67