Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba. Infinite Runs in Weighted Timed Automata with Energy Constraints. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 33-47, Springer, 2008. [doi]
@inproceedings{BouyerFLMS08,
title = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
author = {Patricia Bouyer and Ulrich Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey and Jirí Srba},
year = {2008},
doi = {10.1007/978-3-540-85778-5_4},
url = {http://dx.doi.org/10.1007/978-3-540-85778-5_4},
tags = {constraints},
researchr = {https://researchr.org/publication/BouyerFLMS08},
cites = {0},
citedby = {0},
pages = {33-47},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
editor = {Franck Cassez and Claude Jard},
volume = {5215},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85777-8},
}