×

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

最新的 引文 关联
艾哈迈德·布瓦贾尼;马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;托马斯·沃伊纳尔

带有列表的程序是计数器自动机。 （英语） Zbl 1217.68059号

形式方法系统。设计。 38，第2期，158-192（2011）.
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，《形式方法系统》。设计。38，第2号，158--192（2011；Zbl 1217.68059）
全文： 内政部 哈尔
拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦

阵列存取程序的算法分析。 （英语） Zbl 1257.68102号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿577186-101（2009）。
MSC公司：60年第68季度 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。注释计算。科学。5771、86--101（2009年；Zbl 1257.68102）
全文： 内政部 链接
斯特凡·里格尔;诺尔，托马斯

通过超边缘替换提取复杂数据结构。 （英语） Zbl 1175.68124号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，69-83（2008）。
MSC公司：68第05页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Rieger}和\textit{T.Noll}，莱克特。注释计算。科学。5214、69-83（2008年；Zbl 1175.68124）
全文： 内政部
茨沃尼米尔·拉卡马里奇;罗伯特·布鲁托梅索;胡亚伦·J·。;亚历山德罗·西马蒂

验证SMT框架中的堆操作程序。 （英语） Zbl 1141.68484号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762237-252（2007）。
MSC公司：60年第68季度 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Rakamarić}等人，Lect。注释计算。科学。4762、237--252（2007年；Zbl 1141.68484）
全文： 内政部
茨沃尼米尔·拉卡马里奇;杰西·宾厄姆;胡亚伦·J·。

一种基于推理规则的决策过程，用于验证具有可变数据和循环数据结构的堆操作程序。 （英语） Zbl 1132.68354号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349106-121（2007）。
MSC公司：68第05页 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Rakamarić}等人，Lect。注释计算。科学。4349，106-121（2007；Zbl 1132.68354）
全文： 内政部
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·布瓦贾尼

链接数据结构中可访问模式的逻辑。 （英语） Zbl 1121.03040号

J.日志。阿尔盖布。程序。 73，编号1-2，111-142（2007）.
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Yorsh}等人，J.Log。阿尔盖布。程序。73，编号1--2，111-142（2007；Zbl 1121.03040）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件