Skip to Main content Skip to Navigation
Conference papers

A Game Approach to Determinize Timed Automata.

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00629179
Contributor : Amélie Stainer Connect in order to contact the contributor
Submitted on : Wednesday, October 5, 2011 - 12:04:36 PM
Last modification on : Friday, February 4, 2022 - 3:17:04 AM

Identifiers

  • HAL Id : inria-00629179, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

98