Formal Techniques for Distributed Systems
Résumé
Book Front Matter of LNCS 6722
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2011
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01583312
Soumis le : jeudi 7 septembre 2017-11:10:09
Dernière modification le : dimanche 17 novembre 2024-14:42:04
Dates et versions
Licence
Identifiants
- HAL Id : hal-01583312 , version 1
- DOI : 10.1007/978-3-642-21461-5
Citer
Roberto Bruni, Juergen Dingel. Formal Techniques for Distributed Systems. Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩. ⟨hal-01583312⟩
Collections
65
Consultations
113
Téléchargements