法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 无限状态系统验证的推广策略。 （英文） Zbl 1267.68080号 理论与实践。日志。程序。 13，第2期，175-199（2013）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人，《理论与实践》。日志。程序。13，第2号，175--199（2013；Zbl 1267.68080） 全文： 内政部 arXiv公司
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 验证无限状态系统的程序专门化：实验评估。 （英文） Zbl 1326.68184号 Alpunte，María（编辑），基于逻辑的程序合成和转换。2010年7月23日至25日，第20届国际研讨会，LOPSTR 2010，奥地利哈根贝格。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20550-7/pbk）。计算机科学课堂讲稿6564，164-183（2011）。MSC公司：60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人，Lect。注释计算。科学。6564、164--183（2011年；Zbl 1326.68184） 全文： 内政部