%0 Conference Paper %1 conf/birthday/Chatterjee0H17 %A Chatterjee, Krishnendu %A Doyen, Laurent %A Henzinger, Thomas A. %B Models, Algorithms, Logics and Tools %D 2017 %E Aceto, Luca %E Bacci, Giorgio %E Bacci, Giovanni %E Ingólfsdóttir, Anna %E Legay, Axel %E Mardare, Radu %I Springer %K dblp %P 367-381 %T The Cost of Exactness in Quantitative Reachability. %U http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#Chatterjee0H17 %V 10460 %@ 978-3-319-63121-9

@inproceedings{conf/birthday/Chatterjee0H17, added-at = {2017-08-22T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/2bbb34c634583a652fa80daf1d45b82a2/dblp}, booktitle = {Models, Algorithms, Logics and Tools}, crossref = {conf/birthday/2017larsen}, editor = {Aceto, Luca and Bacci, Giorgio and Bacci, Giovanni and Ingólfsdóttir, Anna and Legay, Axel and Mardare, Radu}, ee = {https://doi.org/10.1007/978-3-319-63121-9_18}, interhash = {3a16d0dfc0207eba8190c45fbc78907c}, intrahash = {bbb34c634583a652fa80daf1d45b82a2}, isbn = {978-3-319-63121-9}, keywords = {dblp}, pages = {367-381}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:39.000+0200}, title = {The Cost of Exactness in Quantitative Reachability.}, url = {http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#Chatterjee0H17}, volume = 10460, year = 2017 }