HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Books

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

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

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-01767330
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, April 16, 2018 - 10:18:53 AM
Last modification on : Tuesday, May 11, 2021 - 11:36:26 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Susanne Graf, Mahesh Viswanathan. Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Springer International Publishing, LNCS-9039, 2015, Lecture Notes in Computer Science, 978-3-319-19194-2. ⟨10.1007/978-3-319-19195-9⟩. ⟨hal-01767330⟩

Share

Metrics

Record views

260

Files downloads

70