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
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : Book Front Matter of LNCS 8461
Type de document :
Ouvrage (y compris édition critique et traduction)
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. 〈10.1007/978-3-662-43613-4〉
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01398026
Contributeur : Hal Ifip <>
Soumis le : mercredi 16 novembre 2016 - 15:43:00
Dernière modification le : mercredi 14 novembre 2018 - 16:10:03

Annexe

Licence

Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

IFIP-LNCS-8461 | IFIP | IFIP-TC | IFIP-WG | IFIP-TC6 | IFIP-WG6-1 | IFIP-FORTE | IFIP-LNCS | INRIA | X | LIX | X-LIX | PARISTECH | X-DEP-INFO

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

558

Téléchargements de fichiers

104

Contact


archive-ouverte@inria.fr