@inproceedings{Stainer:2012:FFT:2413866.2413885,
    Address = {Berlin, Heidelberg},
    Author = {Stainer, Am{\'e}lie},
    BookTitle = {Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems},
    File = {Frequencies in forgetful timed automata - Stainer (0) (0) - a - a - e.pdf},
    ISBN = {978-3-642-33364-4},
    Keywords = {timed automata},
    Location = {London, UK},
    Pages = {236--251},
    Publisher = {Springer-Verlag},
    Series = {FORMATS'12},
    Title = {Frequencies in forgetful timed automata},
    URL = {http://dx.doi.org/10.1007/978-3-642-33365-1\_17},
    Year = {2012},
    acmid = {2413885},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-33365-1\_17},
    bdsk-url-2 = {http://hal.inria.fr/hal-00714262/},
    date-added = {2013-04-17 09:10:25 +0000},
    date-modified = {2013-04-17 09:10:54 +0000},
    file-2 = {Frequencies in forgetful timed automata - Stainer (1) (0) - a - a - e.pdf},
    numpages = {16},
    doi = {10.1007/978-3-642-33365-1_17}
}

@inproceedings{Stainer:2012:FFT:2413866.2413885, Address = {Berlin, Heidelberg}, Author = {Stainer, Am{\'e}lie}, BookTitle = {Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems}, File = {Frequencies in forgetful timed automata - Stainer (0) (0) - a - a - e.pdf}, ISBN = {978-3-642-33364-4}, Keywords = {timed automata}, Location = {London, UK}, Pages = {236--251}, Publisher = {Springer-Verlag}, Series = {FORMATS'12}, Title = {Frequencies in forgetful timed automata}, URL = {http://dx.doi.org/10.1007/978-3-642-33365-1_17}, Year = {2012}, acmid = {2413885}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-33365-1_17}, bdsk-url-2 = {http://hal.inria.fr/hal-00714262/}, date-added = {2013-04-17 09:10:25 +0000}, date-modified = {2013-04-17 09:10:54 +0000}, file-2 = {Frequencies in forgetful timed automata - Stainer (1) (0) - a - a - e.pdf}, numpages = {16}, doi = {10.1007/978-3-642-33365-1_17} }