Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

John Hatcliff 1 Elena Zucca 2
1 CIS@K-STATE - Department of Computing and Information Sciences [Kansas]
2 Universita degli studi di Genova
Abstract : Book Front Matter of LNCS 6117
Type de document :
Ouvrage (y compris édition critique et traduction)
Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. 〈10.1007/978-3-642-13464-7〉
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01555338
Contributeur : Hal Ifip <>
Soumis le : mardi 4 juillet 2017 - 09:21:56
Dernière modification le : mercredi 24 janvier 2018 - 11:37:29

Annexe

Licence

Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

IFIP-LNCS | IFIP | IFIP-LNCS-6117 | IFIP-FMOODS | IFIP-FORTE | IFIP-TC | IFIP-TC6 | IFIP-WG | IFIP-WG6-1

Citation

John Hatcliff, Elena Zucca. Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings. Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. 〈10.1007/978-3-642-13464-7〉. 〈hal-01555338〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

45

Téléchargements de fichiers

21

Contact


archive-ouverte@inria.fr