罗伯塔·戈里；弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 （英语） Zbl 1205.68244号 Inf.计算。 208，第8期，869-921（2010）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi}，Inf.Compute。208，第8号，869--921（2010；Zbl 1205.68244） 全文： 内政部
尤里·切比里亚克；托马斯·沃尔；丹尼尔·克罗宁；利奥波德·哈勒 在二元超立方体中寻找精益诱导循环。 （英语） Zbl 1247.68248号 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，18-31（2009）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chebiryak}等人，Lect。注释计算。科学。5584，18-31（2009；Zbl 1247.68248） 全文： 内政部 链接
大卫·哈雷尔；雅基·塞蒂；索尔·埃夫罗尼；娜玛·斯威德林；科恩（Irun R.Cohen）。 生物建模的并发性：行为、执行和可视化。 （英语） Zbl 1279.68260号 尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，119-131（2008）。MSC公司：68问题85 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人，《电子》。注释Theor。计算。科学。194，第3号，119--131（2008；Zbl 1279.68260） 全文： 内政部
亨利克·皮利加德；弗莱明·尼尔森；尼尔森、汉内·里斯 BioAmbients的路径分析。 （英语） Zbl 1147.92002号 J.日志。阿尔盖布。程序。 77，编号1-2，92-130（2008）.MSC公司：92B05型 第68季度10 68问题85 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人，J.Log。阿尔盖布。程序。77，编号1--2，92-130（2008；Zbl 1147.92002） 全文： 内政部
贾斯敏·费希尔；托马斯·亨辛格（Thomas A.Henzinger）。；玛丽亚·马泰斯库；尼尔·皮特曼 有界异步：用于建模细胞间交互的并发性。 （英语） 兹比尔1375.92018 Jasmin Fisher（编辑），《系统生物学中的形式方法》。第一次国际研讨会，2008年6月4日至5日，英国剑桥，FMSB 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68410-7/pbk）。计算机科学课堂讲稿5054。生物信息学讲义，17-32（2008）。MSC公司：92立方37 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fisher}等人，Lect。注释计算。科学。5054，17-32（2008；Zbl 1375.92018） 全文： 内政部 链接
希拉·阿米尔·克罗尔；阿维塔尔·萨多特；科恩（Irun R.Cohen）。；大卫·哈雷尔 GemCell：建模多细胞生物系统的通用平台。 （英语） Zbl 1132.68809号 西奥。计算。科学。 391，第3号，276-290（2008）.MSC公司：68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{H.Amir-Kroll}等人，Theor。计算。科学。391，第3号，276--290（2008；Zbl 1132.68809） 全文： 内政部
伊夫·邦坦普斯；皮埃尔·伊夫·肖本斯 基于场景的代理验证和设计的计算复杂性。 （英语） Zbl 1122.68066号 J.应用。日志。 5，第2期，252-276（2007）.MSC公司：65年第68季度 60年第68季度 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bontemps}和\textit{P.-Y.Schobbens}，J.Appl。日志。5，第252-276号（2007年；兹bl 1122.68066） 全文： 内政部