%0 Conference Paper %1 conf/formats/GiroD07 %A Giro, Sergio %A D'Argenio, Pedro R. %B FORMATS %D 2007 %E Raskin, Jean-François %E Thiagarajan, P. S. %I Springer %K dblp %P 179-194 %T Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. %U http://dblp.uni-trier.de/db/conf/formats/formats2007.html#GiroD07 %V 4763 %@ 978-3-540-75453-4

@inproceedings{conf/formats/GiroD07, added-at = {2017-05-26T00:00:00.000+0200}, author = {Giro, Sergio and D'Argenio, Pedro R.}, biburl = {https://www.bibsonomy.org/bibtex/20aad771640da8f49fe86a7d6d12e3367/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2007}, editor = {Raskin, Jean-François and Thiagarajan, P. S.}, ee = {https://doi.org/10.1007/978-3-540-75454-1_14}, interhash = {883ada316d3184f1392fa021b34177eb}, intrahash = {0aad771640da8f49fe86a7d6d12e3367}, isbn = {978-3-540-75453-4}, keywords = {dblp}, pages = {179-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:26.000+0200}, title = {Quantitative Model Checking Revisited: Neither Decidable Nor Approximable.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2007.html#GiroD07}, volume = 4763, year = 2007 }