article Clemens Dubslaff author Patrick Koopmann author Anni-Yasmin Turhan author 104470 888 department 2021 eng 10.1007/S00165-021-00549-0 336885–921 C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921. @article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic Model Checking with Ontologies}, volume={33}, DOI={<a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a>}, number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} } Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” <i>Formal Aspects Comput.</i>, vol. 33, no. 6, 2021, pp. 885–921, doi:<a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a>. Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2021). Enhancing Probabilistic Model Checking with Ontologies. <i>Formal Aspects Comput.</i>, <i>33</i>(6), 885–921. <a href="https://doi.org/10.1007/S00165-021-00549-0">https://doi.org/10.1007/S00165-021-00549-0</a> Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. <i>Formal Aspects Comput</i>. 2021;33(6):885–921. doi:<a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a> Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” <i>Formal Aspects Comput.</i> 33, no. 6 (2021): 885–921. <a href="https://doi.org/10.1007/S00165-021-00549-0">https://doi.org/10.1007/S00165-021-00549-0</a>. C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” <i>Formal Aspects Comput.</i>, vol. 33, no. 6, pp. 885–921, 2021, doi: <a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a>. 529262024-03-26T10:54:48Z2024-03-26T10:56:09Z