%0 Conference Paper %1 conf/qest/GainerHS18 %A Gainer, Paul %A Hahn, Ernst Moritz %A Schewe, Sven %B QEST %D 2018 %E McIver, Annabelle %E Horvath, Andras %I Springer %K dblp %P 140-156 %T Incremental Verification of Parametric and Reconfigurable Markov Chains. %U http://dblp.uni-trier.de/db/conf/qest/qest2018.html#GainerHS18 %V 11024 %@ 978-3-319-99154-2

@inproceedings{conf/qest/GainerHS18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Gainer, Paul and Hahn, Ernst Moritz and Schewe, Sven}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2951510981aeade9998c137ec94ef24fa/dblp}, booktitle = {QEST}, crossref = {conf/qest/2018}, editor = {McIver, Annabelle and Horvath, Andras}, ee = {https://doi.org/10.1007/978-3-319-99154-2_9}, interhash = {cd2b72e0a1517231fb8cb441e541cf0d}, intrahash = {951510981aeade9998c137ec94ef24fa}, isbn = {978-3-319-99154-2}, keywords = {dblp}, pages = {140-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:36:58.000+0200}, title = {Incremental Verification of Parametric and Reconfigurable Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2018.html#GainerHS18}, volume = 11024, year = 2018 }