Formal Techniques for Distributed Objects, Components, and Systems - Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018) Access content directly
Books Year : 2018

Formal Techniques for Distributed Objects, Components, and Systems

Abstract

Book Front Matter of LNCS 10854
IFIPLNCS10854DL_2018_BookFrontmatter.pdf (114.02 Ko) Télécharger le fichier

Dates and versions

hal-01824818 , version 1 (27-06-2018)

Licence

Attribution

Identifiers

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⟩
201 View
93 Download

Altmetric

Share

Gmail Facebook X LinkedIn More