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 <>
Submitted on : Wednesday, October 5, 2011 - 12:04:36 PM
Last modification on : Tuesday, June 23, 2020 - 12:30:04 PM

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

248