@inproceedings{Bouyer:2008:IRW:1432153.1432159,
    Address = {Berlin, Heidelberg},
    Author = {Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim G. and Markey, Nicolas and Srba, Ji\v{r}\'{\i}},
    BookTitle = {Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems},
    File = {Infinite Runs in Weighted Timed Automata with Energy Constraints - Bouyer, Fahrenberg, Larsen, Markey, Srba (0) (0) - a - a - o.pdf},
    ISBN = {978-3-540-85777-8},
    Keywords = {timed automata},
    Location = {Saint Malo, France},
    Pages = {33--47},
    Publisher = {Springer-Verlag},
    Series = {FORMATS '08},
    Title = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
    URL = {http://dx.doi.org/10.1007/978-3-540-85778-5\_4},
    Year = {2008},
    acmid = {1432159},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85778-5\_4},
    date-added = {2012-09-25 21:29:38 +0200},
    date-modified = {2012-09-25 19:31:51 +0000},
    numpages = {15},
    doi = {10.1007/978-3-540-85778-5_4}
}

@inproceedings{Bouyer:2008:IRW:1432153.1432159, Address = {Berlin, Heidelberg}, Author = {Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim G. and Markey, Nicolas and Srba, Ji\v{r}\'{\i}}, BookTitle = {Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems}, File = {Infinite Runs in Weighted Timed Automata with Energy Constraints - Bouyer, Fahrenberg, Larsen, Markey, Srba (0) (0) - a - a - o.pdf}, ISBN = {978-3-540-85777-8}, Keywords = {timed automata}, Location = {Saint Malo, France}, Pages = {33--47}, Publisher = {Springer-Verlag}, Series = {FORMATS '08}, Title = {Infinite Runs in Weighted Timed Automata with Energy Constraints}, URL = {http://dx.doi.org/10.1007/978-3-540-85778-5_4}, Year = {2008}, acmid = {1432159}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85778-5_4}, date-added = {2012-09-25 21:29:38 +0200}, date-modified = {2012-09-25 19:31:51 +0000}, numpages = {15}, doi = {10.1007/978-3-540-85778-5_4} }