@inproceedings{BertrandStainerJeronKrichen:FOSSACS:2011,
    Author = {Bertrand, Nathalie and Stainer, Am{\'e}lie and J{\'e}ron, Thierry and Krichen, Moez},
    BookTitle = {Proc. of FOSSACS'11},
    File = {A Game Approach to Determinize Timed Automata - Bertrand, Stainer, Jéron, Krichen (1) (0) - a - a - m.pdf},
    Keywords = {timed automata and determinizability},
    Pages = {245--259},
    Series = {LNCS},
    Title = {A Game Approach to Determinize Timed Automata},
    Volume = {6604},
    Year = {2011},
    bdsk-url-1 = {http://www.springerlink.com/content/y027508qtxpp44g2/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-19805-2\_17},
    date-added = {2012-03-13 12:52:31 +0100},
    date-modified = {2019-10-01 11:23:59 +0200},
    file-2 = {A Game Approach to Determinize Timed Automata - Bertrand, Stainer, Jéron, Krichen (2) (0) - a - a - m.pdf},
    doi = {10.1007/978-3-642-19805-2_17}
}

@inproceedings{BertrandStainerJeronKrichen:FOSSACS:2011, Author = {Bertrand, Nathalie and Stainer, Am{\'e}lie and J{\'e}ron, Thierry and Krichen, Moez}, BookTitle = {Proc. of FOSSACS'11}, File = {A Game Approach to Determinize Timed Automata - Bertrand, Stainer, Jéron, Krichen (1) (0) - a - a - m.pdf}, Keywords = {timed automata and determinizability}, Pages = {245--259}, Series = {LNCS}, Title = {A Game Approach to Determinize Timed Automata}, Volume = {6604}, Year = {2011}, bdsk-url-1 = {http://www.springerlink.com/content/y027508qtxpp44g2/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-19805-2_17}, date-added = {2012-03-13 12:52:31 +0100}, date-modified = {2019-10-01 11:23:59 +0200}, file-2 = {A Game Approach to Determinize Timed Automata - Bertrand, Stainer, Jéron, Krichen (2) (0) - a - a - m.pdf}, doi = {10.1007/978-3-642-19805-2_17} }