克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡 模型检查概率系统。 （英语） Zbl 1392.68227号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227） 全文： 内政部
基尼，迪利普;马赫什·维斯瓦纳坦 LTL到限制确定性自动机的最佳转换。 （英语） Zbl 1452.68121号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 113-129 (2017).MSC公司：60年第68季度 03B44号 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kini}和\textit{M.Viswanathan}，莱克特。注释计算。科学。10206、113--129（2017；Zbl 1452.68121） 全文： 内政部 链接
托马斯·布拉兹迪尔;斯特凡·基弗;安东尼·凯拉 具有无界计数器的概率程序的有效分析。 （英语） Zbl 1321.68186号 美国临床医学杂志 第61号第6条第41条第35页（2014年）.MSC公司：68纳米30 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}et al.，J.ACM 61，No.6，Article No.41，35 p.（2014；Zbl 1321.68186） 全文： 内政部 arXiv公司