Skip to Main content Skip to Navigation
Books

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014

Erika Ábrahám 1 Catuscia Palamidessi 2
1 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen
2 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : Book Front Matter of LNCS 8461
Document type :
Books
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
https://hal.inria.fr/hal-01398026
Contributor : Hal Ifip <>
Submitted on : Wednesday, November 16, 2016 - 3:43:00 PM
Last modification on : Saturday, May 1, 2021 - 3:39:16 AM

Annex

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

IFIP-LNCS | IFIP-TC | IFIP-WG | IFIP-TC6 | IFIP-WG6-1 | IFIP-FORTE | IFIP-LNCS-8461 | IFIP | INRIA | CNRS | X | LIX | X-LIX | X-DEP-INFO | GS-COMPUTER-SCIENCE

Citation

Erika Ábrahám, Catuscia Palamidessi. Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩. ⟨hal-01398026⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

679

Files downloads

274

 

Contact                    Legal Notice                    Personal Data