托马斯·布拉兹迪尔;斯特凡·基弗;安东·库切拉;诺沃顿，皮特;Joost-Pieter卡托恩 概率多计数器自动机中的零可达性。 （英语） Zbl 1401.68151号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第22号论文，第10页（2014年）。MSC公司：65年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第22号论文，第10页（2014；Zbl 1401.68151） 全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;霍尔格·赫尔曼斯;简·克查尔;简·Křetínsk;艾哈克，沃伊特 开放交互式马尔可夫链的验证。 （英语） Zbl 1354.68170号 D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，474-485（2012）。MSC公司：第68季度第60季度 60J20型 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，LIPIcs——莱布尼茨国际程序。通知。18、474--485（2012；Zbl 1354.68170） 全文： 内政部