罗伯塔·戈里；弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 （英语） 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） 全文： DOI程序
阿莱西奥·科莱塔；罗伯塔·戈里；弗朗西丝卡·列维 使用抽象解释近似生物系统的概率行为。 （英语） Zbl 1283.92037号 尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，165-182（2009）。MSC公司：第92页第42页 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coletta}等人，《电子》。注释Theor。计算。科学。229，第1号，165--182（2009；Zbl 1283.92037） 全文： DOI程序
弗朗西丝卡·列维 定时状态图的合成验证。 （英语） Zbl 0945.03042号 霍华德·巴林格等人，《时序逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16, 47-70 (2000).MSC公司：03B70号 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛F.Levi｝，应用程序。日志。序列号。16，47-70（2000年；兹bl 0945.03042）