%0 Conference Paper %1 conf/ifm/DubslaffKT19 %A Dubslaff, Clemens %A Koopmann, Patrick %A Turhan, Anni-Yasmin %B IFM %D 2019 %E Ahrendt, Wolfgang %E Tarifa, Silvia Lizeth Tapia %I Springer %K dblp %P 194-211 %T Ontology-Mediated Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2019.html#DubslaffKT19 %V 11918 %@ 978-3-030-34968-4

@inproceedings{conf/ifm/DubslaffKT19, added-at = {2019-11-26T00:00:00.000+0100}, author = {Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, biburl = {https://www.bibsonomy.org/bibtex/2e970704140f6f23b7535fe3ed0523534/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2019}, editor = {Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia}, ee = {https://doi.org/10.1007/978-3-030-34968-4_11}, interhash = {be974aeed500c505d954aee2798b7aff}, intrahash = {e970704140f6f23b7535fe3ed0523534}, isbn = {978-3-030-34968-4}, keywords = {dblp}, pages = {194-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-27T11:56:01.000+0100}, title = {Ontology-Mediated Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2019.html#DubslaffKT19}, volume = 11918, year = 2019 }