亚历山德罗·范特奇;格内西、斯特凡尼亚;劳拉·塞米尼 形式化中的语言和通信问题：自然语言方法。 （英语） Zbl 07495056号 亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。12750121-134（2021）。MSC公司：68年XX月 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Fantechi}等人，Lect。票据计算。科学。12750、121--134（2021；Zbl 07495056） 全文： 内政部
莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 产品族可变性建模和分析：具有可变性约束的模态转换系统的模型检查。 （英语） Zbl 1351.68170号 J.日志。阿尔盖布。方法计划。 85，第2287-315号（2016）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，J.Log。阿尔盖布。方法计划。85，第2号，287--315（2016；Zbl 1351.68170） 全文： 内政部
莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 用于分析抽象系统属性的基于状态/事件的模型检查方法。 （英语） Zbl 1213.68392号 科学。计算。程序。 76，第2期，119-135（2011）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，科学。计算。程序。76，No.2，119--135（2011；Zbl 1213.68392） 全文： 内政部
A.范特奇。;格内西，S。;G.里斯托里。;卡列尼尼，M。;Vanocchi，M。;莫里希尼，P。 通过自然语言翻译协助需求形式化。 （英语） Zbl 0800.68648号 形式方法系统。设计。 4，第3期，243-263（1994年）.MSC公司：68T50型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Fantechi}等人，《形式方法系统》。设计。4，第3号，243--263（1994；Zbl 0800.68648） 全文： 内政部
亚历山德罗·范特奇;格内西、斯特凡尼亚;乔亚·里斯托里 基于动作的逻辑的模型检查。 （英语） 兹伯利0804.68086 形式方法系统。设计。 4，第2期，187-203（1994）.MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Fantechi}等人，《形式方法系统》。设计。4，第2号，187--203（1994；Zbl 0804.68086） 全文： 内政部
亚历山德罗·范特奇;格内西、斯特凡尼亚;乔亚·里斯托里 合成和相互模拟：一个负面结果。 （英语） Zbl 0735.68057号 信息处理。莱特。 39，第2期，109-114（1991）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Fantechi}等人，《信息处理》。莱特。39，第2号，109--114（1991；Zbl 0735.68057） 全文： 内政部