%0 Conference Paper %1 journals/corr/abs-1207-1264 %A Giro, Sergio %B QAPL %D 2012 %E Wiklicky, Herbert %E Massink, Mieke %K dblp %P 17-32 %T Efficient computation of exact solutions for quantitative model checking %U http://dblp.uni-trier.de/db/series/eptcs/eptcs85.html#abs-1207-1264 %V 85

@inproceedings{journals/corr/abs-1207-1264, added-at = {2018-09-12T00:00:00.000+0200}, author = {Giro, Sergio}, biburl = {https://www.bibsonomy.org/bibtex/2341c4b3ce12e9eeba9975bb7e31c57fa/dblp}, booktitle = {QAPL}, crossref = {journals/corr/abs-1207-0559}, editor = {Wiklicky, Herbert and Massink, Mieke}, ee = {http://arxiv.org/abs/1207.1264}, interhash = {1f5eb7e206d2577e14e7414e4d6f0f09}, intrahash = {341c4b3ce12e9eeba9975bb7e31c57fa}, keywords = {dblp}, pages = {17-32}, series = {EPTCS}, timestamp = {2018-09-13T11:41:03.000+0200}, title = {Efficient computation of exact solutions for quantitative model checking}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs85.html#abs-1207-1264}, volume = 85, year = 2012 }