%0 Conference Paper %1 conf/dsn/KwiatkowskaPQ11 %A Kwiatkowska, Marta Z. %A Parker, David %A Qu, Hongyang %B DSN %D 2011 %I IEEE Compute Society %K dblp %P 359-370 %T Incremental quantitative verification for Markov decision processes. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2011.html#KwiatkowskaPQ11 %@ 978-1-4244-9233-6

@inproceedings{conf/dsn/KwiatkowskaPQ11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kwiatkowska, Marta Z. and Parker, David and Qu, Hongyang}, biburl = {https://www.bibsonomy.org/bibtex/2480ae6e9b36b89da71fe204da8243471/dblp}, booktitle = {DSN}, crossref = {conf/dsn/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/DSN.2011.5958249}, interhash = {8de7fd43b93b519363775a9023fdda6b}, intrahash = {480ae6e9b36b89da71fe204da8243471}, isbn = {978-1-4244-9233-6}, keywords = {dblp}, pages = {359-370}, publisher = {IEEE Compute Society}, timestamp = {2024-04-10T16:07:23.000+0200}, title = {Incremental quantitative verification for Markov decision processes.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2011.html#KwiatkowskaPQ11}, year = 2011 }