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

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

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〉

Partager

Métriques

Consultations de la notice

43

Téléchargements de fichiers

10