Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems: IFIP WG 6.1

Erika Ábrahám 1 Catuscia Palamidessi 2, 3, 4
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Erika Abraham; Catuscia Palamidessi. 2014, France. 8461, Springer, 2014, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-01271977
Contributeur : Catuscia Palamidessi <>
Soumis le : mardi 9 février 2016 - 21:42:14
Dernière modification le : jeudi 10 mai 2018 - 02:06:33

Identifiants

  • HAL Id : hal-01271977, version 1

Collections

Citation

Erika Ábrahám, Catuscia Palamidessi. Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems: IFIP WG 6.1. Erika Abraham; Catuscia Palamidessi. 2014, France. 8461, Springer, 2014, Lecture Notes in Computer Science. 〈hal-01271977〉

Partager

Métriques

Consultations de la notice

213