Enhancing Probabilistic Model Checking with Ontologies
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
Download
No fulltext has been uploaded.
Journal Article
| English
Author
Dubslaff, Clemens;
Koopmann, Patrick;
Turhan, Anni-YasminLibreCat
Department
Publishing Year
Journal Title
Formal Aspects Comput.
Volume
33
Issue
6
Page
885–921
LibreCat-ID
Cite this
Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 2021;33(6):885–921. doi:10.1007/S00165-021-00549-0
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2021). Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput., 33(6), 885–921. https://doi.org/10.1007/S00165-021-00549-0
@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic Model Checking with Ontologies}, volume={33}, DOI={10.1007/S00165-021-00549-0}, number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} }
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput. 33, no. 6 (2021): 885–921. https://doi.org/10.1007/S00165-021-00549-0.
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi: 10.1007/S00165-021-00549-0.
Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput., vol. 33, no. 6, 2021, pp. 885–921, doi:10.1007/S00165-021-00549-0.
Google Scholar