%0 Conference Paper %1 conf/qest/BerendsenJK06 %A Berendsen, Jasper %A Jansen, David N. %A Katoen, Joost-Pieter %B QEST %D 2006 %I IEEE Computer Society %K dblp %P 311-322 %T Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BerendsenJK06 %@ 0-7695-2665-9

@inproceedings{conf/qest/BerendsenJK06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Berendsen, Jasper and Jansen, David N. and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2f4b229ba75b06b541af39526310c9fec/dblp}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {https://www.wikidata.org/entity/Q57801806}, interhash = {694dac66820073ba70ab387cb230ed5d}, intrahash = {f4b229ba75b06b541af39526310c9fec}, isbn = {0-7695-2665-9}, keywords = {dblp}, pages = {311-322}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:58.000+0200}, title = {Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BerendsenJK06}, year = 2006 }