Ontology-Mediated Probabilistic Model Checking
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Dubslaff, Clemens;
Koopmann, Patrick;
Turhan, Anni-YasminLibreCat
Editor
Ahrendt, Wolfgang;
Tarifa, Silvia Lizeth Tapia
Publishing Year
Proceedings Title
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
forms.conference.field.series_title_volume.label
Lecture Notes in Computer Science
Volume
11918
Page
194–211
LibreCat-ID
Cite this
Dubslaff C, Koopmann P, Turhan A-Y. Ontology-Mediated Probabilistic Model Checking. In: Ahrendt W, Tarifa SLT, eds. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:10.1007/978-3-030-34968-4_11
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2019). Ontology-Mediated Probabilistic Model Checking. In W. Ahrendt & S. L. T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Vol. 11918, pp. 194–211). Springer. https://doi.org/10.1007/978-3-030-34968-4_11
@inproceedings{Dubslaff_Koopmann_Turhan_2019, series={Lecture Notes in Computer Science}, title={Ontology-Mediated Probabilistic Model Checking}, volume={11918}, DOI={10.1007/978-3-030-34968-4_11}, booktitle={Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings}, publisher={Springer}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia}, year={2019}, pages={194–211}, collection={Lecture Notes in Computer Science} }
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Probabilistic Model Checking.” In Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:194–211. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-34968-4_11.
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic Model Checking,” in Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, 2019, vol. 11918, pp. 194–211, doi: 10.1007/978-3-030-34968-4_11.
Dubslaff, Clemens, et al. “Ontology-Mediated Probabilistic Model Checking.” Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, vol. 11918, Springer, 2019, pp. 194–211, doi:10.1007/978-3-030-34968-4_11.
Google Scholar