Conference Papers
Year : 2011
Amélie Stainer : Connect in order to contact the contributor
https://inria.hal.science/inria-00629179
Submitted on : Wednesday, October 5, 2011-12:04:36 PM
Last modification on : Thursday, March 16, 2023-4:01:49 AM
Dates and versions
Identifiers
- HAL Id : inria-00629179 , version 1
Cite
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⟩
Collections
100
View
0
Download