安娜·贝基；亚历山德罗·西马蒂；埃纳州扎法内拉 P-稳定提取物的合成。 （英语） Zbl 1476.68059号 de Boer，Frank（编辑）等人，《软件工程和形式化方法》。第18届国际会议，SEFM 2020，荷兰阿姆斯特丹，2020年9月14-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12310, 214-230 (2020).MSC公司：68号30 37B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Becchi}等人，Lect。注释计算。科学。12310、214--230（2020年；Zbl 1476.68059） 全文： 内政部
亚历山德罗·西马蒂；塞尔吉奥·莫弗；米尔科·塞萨 从电气交换网络到混合自动机。 （英语） Zbl 1427.94116号 Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 164-181 (2016).MSC公司：94C15号机组 第37页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。9995164-181（2016年；Zbl 1427.94116） 全文： 内政部