×

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

最新 引文 关联
图巴·雅武兹·卡维奇;康斯坦丁诺斯，巴尔齐斯;特夫菲克·布尔坦

动作语言验证程序，扩展。 （英语） Zbl 1081.68640号

Etessami，Kousha（编辑）等人，计算机辅助验证。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576413-417（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Yavuz-Kahveci}等人，Lect。注释计算。科学。3576、413--417（2005年；Zbl 1081.68640）
全文： 内政部
康斯坦丁诺斯，巴尔齐斯;特夫菲克·布尔坦

加宽算术自动机。 （英语） Zbl 1103.68606号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，321-333（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。注释计算。科学。3114、321--333（2004；Zbl 1103.68606）
全文： 内政部
康斯坦丁诺斯，巴尔齐斯;特夫菲克·布尔坦

无限状态模型检查中的高效图像计算。 （英语） Zbl 1278.68154号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 249-261 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。注释计算。科学。2725、249--261（2003年；Zbl 1278.68154）
全文： 内政部
康斯坦丁诺斯，巴尔齐斯;特夫菲克·布尔坦

自动验证中算术约束的基于自动的表示。 （英语） Zbl 1033.68583号

Champarnaud，Jean-Marc（编辑）等人，《自动机的实现和应用》。2002年7月3日至5日在法国图尔斯举行的CIAA 2002第七届国际会议。修订论文。柏林：施普林格出版社（ISBN 3-540-40391-4/pbk）。莱克特。注释计算。科学。2608, 282-288 (2003).
MSC公司：60年第68季度 65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。注释计算。科学。2608282-288（2003年；Zbl 1033.68583）
全文： 链接
康斯坦丁诺斯，巴尔齐斯;特夫菲克·布尔坦

有界算术约束的有效BDD的构造。 （英语） Zbl 1031.68542号

Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日，作为欧洲软件理论和实践联合会议的一部分，在波兰华沙举行的2003年第九届国际会议TACAS。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 394-408 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。注释计算。科学。261394--408（2003年；Zbl 1031.68542）
全文： 链接

筛选结果依据…

文档类型

作者

出版年份

主字段

软件