迪诺·曼德里奥利;马蒂奥·普拉德拉 泛化输入驱动语言:理论和实践益处。 (英语) Zbl 1382.68136号 计算。科学。版次。 27, 61-87 (2018).MSC公司:第68季度第45季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Mandrioli}和\textit{M.Pradella},计算。科学。版本27,61-87(2018;Zbl 1382.68136) 全文: 内政部 arXiv公司
阿列克谢·利西萨 有限的安全理由。通过有限模型发现进行参数化验证。 (英语) Zbl 1314.68185号 J.自动化。推理 51,第4期,431-451(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa},J.Autom(《汽车杂志》)。推理51,No.4,431--451(2013;Zbl 1314.68185) 全文: 内政部
雷吉兹、斯特凡诺·克雷斯皮;迪诺·曼德里奥利 运算符优先级和明显的下推属性。 (英语) Zbl 1250.68175号 J.计算。系统。科学。 78,第6期,1837-1867(2012).MSC公司:第68季度第45季度 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Reghizzi}和\textit{D.Mandrioli},J.Compute。系统。科学。78,第6号,1837--1867(2012;Zbl 1250.68175) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;德奥索,朱利安;艾哈迈德·雷兹 树规则模型检查:一种基于仿真的方法。 (英语) Zbl 1101.68055号 J.日志。阿尔盖布。程序。 69,编号1-2,93-121(2006).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,J.Log。阿尔盖布。程序。69,编号1--2,93-121(2006;Zbl 1101.68055) 全文: 内政部
亲爱的,丹尼斯;亚辛·拉赫内奇;马丁·斯特芬 迭代换能器。 (英语) 兹比尔1008.68062 J.日志。阿尔盖布。程序。 52-53, 109-127 (2002).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}等人,J.Log。阿尔盖布。程序。52-53、109-127(2002年;Zbl 1008.68062) 全文: 内政部