尤利亚·布特科娃;拉尔夫·威默;霍尔格·赫尔曼斯 马尔可夫自动机的长期回报。 （英语） Zbl 1452.68102号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。勒克特。注释计算。科学。10206, 188-203 (2017).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Butkova}等人，Lect。注释计算。科学。10206、188--203（2017；Zbl 1452.68102） 全文： 内政部
马克·蒂默;Joost-Pieter卡托恩;雅各布·范德波尔;玛丽·斯托琳加 马尔可夫自动机的汇流约简。 （英语） Zbl 1356.68136号 西奥。计算。科学。 655，B部分，193-219（2016）.MSC公司：65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人，Theor。计算。科学。655，B部分，193--219（2016；Zbl 1356.68136） 全文： 内政部
古克，丹尼斯;哈桑·哈特菲;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;马克·蒂默 马尔可夫自动机的时间和长期目标分析。 （英语） Zbl 1342.68135号 日志。方法计算。科学。 10，第3号，第17号论文，29页（2014）.MSC公司：2010年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Guck}等人，Log。方法计算。科学。10，第3号，第17号论文，29页（2014；Zbl 1342.68135） 全文： 内政部 arXiv公司
马克·蒂默;Joost-Pieter卡托恩;雅各布·范德波尔;玛丽·艾尔·斯托琳加。 马尔可夫自动机的有效建模和生成。 （英语） Zbl 1364.68295号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，364-379（2012）。MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人，Lect。注释计算。科学。7454、364--379（2012年；Zbl 1364.68295） 全文： 内政部 链接