| Original language | English |
|---|---|
| Title of host publication | iFM |
| Pages | 194-211 |
| Number of pages | 18 |
| DOIs | |
| Publication status | Published - 2019 |
Ontology-Mediated Probabilistic Model Checking
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
11
Citations
(Scopus)