Communication Dans Un Congrès
Année : 2001
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517295
Soumis le : mardi 14 septembre 2010-09:18:31
Dernière modification le : lundi 14 mars 2022-11:08:10
Dates et versions
Identifiants
- HAL Id : hal-00517295 , version 1
Citer
Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux. Extending translation from SDL to Promela. Atelier SéMo'07, 2001, Grenoble, France. ⟨hal-00517295⟩
Collections
67
Consultations
0
Téléchargements