托马斯·亨辛格;芭芭拉·乔布斯曼;Wolf，Verena公司 指定马尔科夫人口模型的形式化。 （英语） Zbl 1216.68190号 发现的国际期刊。计算。科学。 22，第4期，823-841（2011）.MSC公司：68问题85 60J28型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Henzinger}等人，国际期刊发现。计算。科学。22，第4号，823--841（2011；Zbl 1216.68190） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;Wolf，Verena公司 用于指定马尔可夫种群模型的形式主义。 （英语） Zbl 1260.68284号 Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797，3-23（2009）。MSC公司：87年第68季度 60J27型 65立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，Lect。注释计算。科学。5797，3--23（2009年；Zbl 1260.68284） 全文： 内政部 链接