塔蒂，巴拉斯·西瓦·库马尔;马库斯·西格尔 带有动作和状态标签的马尔可夫链的参数和控制器综合。 （英语） Zbl 1429.68142号 André，Étienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’152015年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） 全文： 内政部
凯·兰普卡 一种新的分区符号可达性分析算法。 （英语） Zbl 1337.68167号 Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（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） 全文： 内政部