×

找到8个文档（结果1-8）

最新的 引文 关联
弗朗西斯科·阿尔贝蒂;罗伯托·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜

对带有数组的程序进行插值的惰性抽象的扩展。 （英语） Zbl 1317.68107号

形式方法系统。设计。 45，第1期，63-109（2014）.
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Alberti}等人，《形式方法系统》。设计。45，编号1，63--109（2014；Zbl 1317.68107）
全文： 内政部 链接
罗伯托·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯

具有整数差分约束的数组的无量词插值的重写和约束求解的组合。 （英语） Zbl 1348.68123号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。《人工智能讲义》，103-118（2011）。
MSC公司：60年第68季度 68第05页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruttomesso}等人，Lect。注释计算。科学。6989、103--118（2011年；Zbl 1348.68123）
全文： 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;托马斯·瓦尔塞奇

基于轻量级SMT的模型检查。 （英语） Zbl 1335.68138号

Miller，Alice（编辑）等人，《第八届关键系统自动验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，85-102（2009）。
MSC公司：60年第68季度 68问题85 68吨15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}等人，《电子》。注释Theor。计算。科学。250，第2号，85-102（2009年；兹bl 1335.68138）
全文： 内政部
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利

面向阵列系统的SMT模型检查。 （英语） Zbl 1165.68406号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，67-82（2008）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}等人，Lect。注释计算。科学。5195，67-82（2008年；兹比尔1165.68406）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件