Communication Dans Un Congrès
Année : 2004
Anca Muscholl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00306260
Soumis le : vendredi 25 juillet 2008-14:33:39
Dernière modification le : mardi 27 février 2024-10:12:02
Dates et versions
Identifiants
- HAL Id : hal-00306260 , version 1
Citer
Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. Foundations of Software Science and Computation Structures, 2004, Spain. pp.195--210. ⟨hal-00306260⟩
Collections
27
Consultations
1
Téléchargements