%0 Conference Paper %1 conf/qest/BarnatCT09 %A Barnat, Jiri %A Cerná, Ivana %A Tumova, Jana %B QEST %D 2009 %I IEEE Computer Society %K dblp %P 21-30 %T Quantitative Model Checking of Systems with Degradation. %U http://dblp.uni-trier.de/db/conf/qest/qest2009.html#BarnatCT09 %@ 978-0-7695-3808-2

@inproceedings{conf/qest/BarnatCT09, added-at = {2014-08-09T00:00:00.000+0200}, author = {Barnat, Jiri and Cerná, Ivana and Tumova, Jana}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22a6b5a9d013f815500a02d988494effc/dblp}, booktitle = {QEST}, crossref = {conf/qest/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2009.24}, interhash = {8d33a53a15945086fa2e86e71770caad}, intrahash = {2a6b5a9d013f815500a02d988494effc}, isbn = {978-0-7695-3808-2}, keywords = {dblp}, pages = {21-30}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T15:49:03.000+0100}, title = {Quantitative Model Checking of Systems with Degradation.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2009.html#BarnatCT09}, year = 2009 }