Communication Dans Un Congrès
Année : 2009
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01298277
Soumis le : mardi 5 avril 2016-16:56:16
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01298277 , version 1
Citer
Olivier Bertrand, Aurélien Calonne, Christine Choppy, Silien Hong, Kaïs Klai, et al.. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. pp.315-316. ⟨hal-01298277⟩
Collections
47
Consultations
0
Téléchargements