---
_id: '52926'
author:
- first_name: Clemens
  full_name: Dubslaff, Clemens
  last_name: Dubslaff
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 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>
  apa: 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>
  bibtex: '@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} }'
  chicago: '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>.'
  ieee: '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>.'
  mla: 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>.
  short: C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021)
    885–921.
date_created: 2024-03-26T10:54:48Z
date_updated: 2024-03-26T10:56:09Z
department:
- _id: '888'
doi: 10.1007/S00165-021-00549-0
intvolume: '        33'
issue: '6'
language:
- iso: eng
page: 885–921
publication: Formal Aspects Comput.
status: public
title: Enhancing Probabilistic Model Checking with Ontologies
type: journal_article
user_id: '9503'
volume: 33
year: '2021'
...