Communication Dans Un Congrès
Année : 2011
Amélie Stainer : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00629179
Soumis le : mercredi 5 octobre 2011-12:04:36
Dernière modification le : jeudi 15 février 2024-03:31:55
Dates et versions
Identifiants
- HAL Id : inria-00629179 , version 1
Citer
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A Game Approach to Determinize Timed Automata.. 14th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'11), Mar 2011, Saarbrücken, Germany. pp. 245-259. ⟨inria-00629179⟩
104
Consultations
0
Téléchargements