%0 Journal Article %1 journals/fmsd/RasmussenLS06 %A Rasmussen, Jacob Illum %A Larsen, Kim Guldstrand %A Subramani, K. %D 2006 %J Formal Methods Syst. Des. %K dblp %N 1 %P 97-114 %T On using priced timed automata to achieve optimal scheduling. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd29.html#RasmussenLS06 %V 29

@article{journals/fmsd/RasmussenLS06, added-at = {2024-05-07T00:00:00.000+0200}, author = {Rasmussen, Jacob Illum and Larsen, Kim Guldstrand and Subramani, K.}, biburl = {https://www.bibsonomy.org/bibtex/297cd6dfcb55fc089a442dbfc9d9057fe/dblp}, ee = {https://doi.org/10.1007/s10703-006-0014-1}, interhash = {7f983c1e19591a13ee251886b4b1771b}, intrahash = {97cd6dfcb55fc089a442dbfc9d9057fe}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {97-114}, timestamp = {2024-05-13T07:21:25.000+0200}, title = {On using priced timed automata to achieve optimal scheduling.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd29.html#RasmussenLS06}, volume = 29, year = 2006 }