塔蒂，巴拉斯·西瓦·库马尔;马库斯·西格尔 带有动作和状态标签的马尔可夫链的参数和控制器综合。 （英语） Zbl 1429.68142号 André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess系列。通知。44, 63-76 (2015).MSC公司：60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.S.K.Tati}和\textit{M.Siegle}，OASIcs--OpenAccess服务器。通知。44、63-76（2015年；Zbl 1429.68142） 全文： 内政部
延斯·巴赫曼;马丁·里德尔;约翰·舒斯特;马库斯·西格尔 随机过程代数工具CASPA的一种有效符号消除算法。 （英语） Zbl 1206.68208号 尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。《计算机科学讲义》5404485-496（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bachmann}等人，Lect。注释计算。科学。5404、485--496（2009年；Zbl 1206.68208） 全文： 内政部
凯·兰普卡 一种新的分区符号可达性分析算法。 （英语） Zbl 1337.68167号 Halava，Vesa（ed.）等人，《计算模型可达性问题第二次研讨会论文集》（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223137-151（2008）。MSC公司：60年第68季度 68第05页 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka}，电子。注释Theor。计算。科学。223137--151（2008年；Zbl 1337.68167） 全文： 内政部
斯特凡·布隆;雅各布·范德波尔 具有递归数据类型的过程代数的符号可达性。 （英语） Zbl 1161.68613号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160，81-95（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}和\textit{J.van de Pol}，莱克特。注释计算。科学。5160、81-95（2008年；Zbl 1161.68613） 全文： 内政部 链接