%0 Journal Article %1 journals/fmsd/BouyerBL08 %A Bouyer, Patricia %A Brinksma, Ed %A Larsen, Kim Guldstrand %D 2008 %J Formal Methods Syst. Des. %K dblp %N 1 %P 3-23 %T Optimal infinite scheduling for multi-priced timed automata. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#BouyerBL08 %V 32

@article{journals/fmsd/BouyerBL08, added-at = {2024-05-07T00:00:00.000+0200}, author = {Bouyer, Patricia and Brinksma, Ed and Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/269014fad6863b2ccae767afbb8998745/dblp}, ee = {https://doi.org/10.1007/s10703-007-0043-4}, interhash = {5263926f9967cc2cf95fe86562b80fe7}, intrahash = {69014fad6863b2ccae767afbb8998745}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {3-23}, timestamp = {2024-05-13T07:21:25.000+0200}, title = {Optimal infinite scheduling for multi-priced timed automata.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#BouyerBL08}, volume = 32, year = 2008 }