Communication Dans Un Congrès
Année : 2006
Hayssam Soueidan : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00407478
Soumis le : vendredi 24 juillet 2009-17:45:54
Dernière modification le : lundi 5 juin 2023-16:52:11
Dates et versions
Identifiants
- HAL Id : hal-00407478 , version 1
Citer
Hayssam Soueidan, Macha Nikolski, Grégoire Sutre. Model Checking AllTL Properties for Set Automata. MOVEP, 2006, Bordeaux, France. pp.203-209. ⟨hal-00407478⟩
Collections
164
Consultations
0
Téléchargements