Article Dans Une Revue
Journal of Computer and System Sciences
Année : 2006
Anca Muscholl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00306255
Soumis le : vendredi 25 juillet 2008-14:33:38
Dernière modification le : vendredi 24 mars 2023-14:52:50
Dates et versions
Identifiants
- HAL Id : hal-00306255 , version 1
Citer
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-state high-level MSCs: Model-checking and realizability. Journal of Computer and System Sciences, 2006, 72 (4), pp.617--647. ⟨hal-00306255⟩
Collections
32
Consultations
0
Téléchargements