亚历山大·戴维；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；乔纳斯·范弗利特；王，郑 定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。票据计算。科学。6919、80-96（2011年；Zbl 1348.68130） 全文： 内政部
拉杜·格罗苏；斯科特·斯莫尔卡。 进程代数的蒙特卡罗方法。 （英语） 兹比尔1316.68075 Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162203-207（2006）。MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Grosu}和\textit{S.A.Smolka}，电子。注释Theor。计算。科学。162203-207（2006；Zbl 1316.68075） 全文： 内政部
尼古拉斯·马基；菲利普·施诺贝伦 微积分路径检查。 （英语） Zbl 1184.68339号 信息处理。莱特。 97，第6期，225-230（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{P.Schnoebelen}，Inf.过程。莱特。97，第6号，225--230（2006；Zbl 1184.68339） 全文： 内政部 哈尔