{"_id":"roc9kCDJjNmpr9vqG","bibbaseid":"dubslaff-koopmann-turhan-ontologymediatedprobabilisticmodelcheckingextendedversion-2019","authorIDs":[],"author_short":["Dubslaff, C.","Koopmann, P.","Turhan, A."],"bibdata":{"bibtype":"techreport","type":"LTCS-Report","address":"Dresden, Germany","author":[{"firstnames":["Clemens"],"propositions":[],"lastnames":["Dubslaff"],"suffixes":[]},{"firstnames":["Patrick"],"propositions":[],"lastnames":["Koopmann"],"suffixes":[]},{"firstnames":["Anni-Yasmin"],"propositions":[],"lastnames":["Turhan"],"suffixes":[]}],"date-added":"2019-04-12 09:07:46 +0200","date-modified":"2019-07-03 19:16:26 +0200","institution":"TU Dresden","note":"see r̆lhttps://lat.inf.tu-dresden.de/research/reports.html","number":"19-05","project":"HAEC","title":"Ontology-Mediated Probabilistic Model Checking (Extended Version)","year":"2019","bibtex":"@techreport{DuKoTu-LTCS,\n\tAddress = {Dresden, Germany},\n\tAuthor = {Clemens Dubslaff and Patrick Koopmann and Anni-Yasmin Turhan},\n\tDate-Added = {2019-04-12 09:07:46 +0200},\n\tDate-Modified = {2019-07-03 19:16:26 +0200},\n\tInstitution = {TU Dresden},\n\tNote = {see \\url{https://lat.inf.tu-dresden.de/research/reports.html}},\n\tNumber = {19-05},\n\tProject = {HAEC},\n\tTitle = {Ontology-Mediated Probabilistic Model Checking (Extended Version)},\n\tType = {LTCS-Report},\n\tYear = {2019}}\n\n","author_short":["Dubslaff, C.","Koopmann, P.","Turhan, A."],"key":"DuKoTu-LTCS","id":"DuKoTu-LTCS","bibbaseid":"dubslaff-koopmann-turhan-ontologymediatedprobabilisticmodelcheckingextendedversion-2019","role":"author","urls":{},"downloads":0},"bibtype":"techreport","biburl":"https://edgecloud.de/main.bib","creationDate":"2020-07-22T13:21:44.774Z","downloads":0,"keywords":[],"search_terms":["ontology","mediated","probabilistic","model","checking","extended","version","dubslaff","koopmann","turhan"],"title":"Ontology-Mediated Probabilistic Model Checking (Extended Version)","year":2019,"dataSources":["TeJe2rTmEWBM8PPwx"]}