%0 Conference Paper %1 conf/tacas/RasmussenLS04 %A Rasmussen, Jacob Illum %A Larsen, Kim Guldstrand %A Subramani, K. %B TACAS %D 2004 %E Jensen, Kurt %E Podelski, Andreas %I Springer %K dblp %P 220-235 %T Resource-Optimal Scheduling Using Priced Timed Automata. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2004.html#RasmussenLS04 %V 2988 %@ 3-540-21299-X

@inproceedings{conf/tacas/RasmussenLS04, added-at = {2024-02-09T00:00:00.000+0100}, author = {Rasmussen, Jacob Illum and Larsen, Kim Guldstrand and Subramani, K.}, biburl = {https://www.bibsonomy.org/bibtex/242062124e2c68e2423c0ec002c164937/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2004}, editor = {Jensen, Kurt and Podelski, Andreas}, ee = {https://doi.org/10.1007/978-3-540-24730-2_19}, interhash = {8fb89e4e61a1bef3e449c058c88f01b2}, intrahash = {42062124e2c68e2423c0ec002c164937}, isbn = {3-540-21299-X}, keywords = {dblp}, pages = {220-235}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:31:32.000+0200}, title = {Resource-Optimal Scheduling Using Priced Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2004.html#RasmussenLS04}, volume = 2988, year = 2004 }