%0 Conference Paper %1 conf/fossacs/NeuhausserSK09 %A Neuhäußer, Martin R. %A Stoelinga, Mariëlle %A Katoen, Joost-Pieter %B FoSSaCS %D 2009 %E de Alfaro, Luca %I Springer %K dblp %P 364-379 %T Delayed Nondeterminism in Continuous-Time Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2009.html#NeuhausserSK09 %V 5504 %@ 978-3-642-00595-4

@inproceedings{conf/fossacs/NeuhausserSK09, added-at = {2019-02-07T00:00:00.000+0100}, author = {Neuhäußer, Martin R. and Stoelinga, Mariëlle and Katoen, Joost-Pieter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25923f0507571725498de8afee001292a/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2009}, editor = {de Alfaro, Luca}, ee = {https://www.wikidata.org/entity/Q57801538}, interhash = {20f69c37e2d0823b2c1c1ce70e77d8f5}, intrahash = {5923f0507571725498de8afee001292a}, isbn = {978-3-642-00595-4}, keywords = {dblp}, pages = {364-379}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:40.000+0200}, title = {Delayed Nondeterminism in Continuous-Time Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2009.html#NeuhausserSK09}, volume = 5504, year = 2009 }