%0 Journal Article %1 journals/sigmetrics/BehrmannLR05 %A Behrmann, Gerd %A Larsen, Kim Guldstrand %A Rasmussen, Jacob Illum %D 2005 %J SIGMETRICS Perform. Evaluation Rev. %K dblp %N 4 %P 34-40 %T Optimal scheduling using priced timed automata. %U http://dblp.uni-trier.de/db/journals/sigmetrics/sigmetrics32.html#BehrmannLR05 %V 32

@article{journals/sigmetrics/BehrmannLR05, added-at = {2020-04-25T00:00:00.000+0200}, author = {Behrmann, Gerd and Larsen, Kim Guldstrand and Rasmussen, Jacob Illum}, biburl = {https://www.bibsonomy.org/bibtex/2c8cd92aa73297088fca054855b2b535b/dblp}, ee = {https://doi.org/10.1145/1059816.1059823}, interhash = {99005f116cfa6fa88d63a01f9c48f4ff}, intrahash = {c8cd92aa73297088fca054855b2b535b}, journal = {SIGMETRICS Perform. Evaluation Rev.}, keywords = {dblp}, number = 4, pages = {34-40}, timestamp = {2020-04-28T11:56:36.000+0200}, title = {Optimal scheduling using priced timed automata.}, url = {http://dblp.uni-trier.de/db/journals/sigmetrics/sigmetrics32.html#BehrmannLR05}, volume = 32, year = 2005 }