@第{zbMATH07455772条，作者＝｛Dubslaff，Clemens和Koopmann，Patrick和Turhan，Anni Yasmin｝，Title={使用本体增强概率模型检查}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={33}，数字={6}，页码={885--921}，年份={2021}，语言={英语}，DOI={10.1007/s00165-021-00549-0}，关键词={68Q60，68T27，68T30}，zbMATH={7455772}，Zbl=｛1522.68310｝}