×

找到448个文档（结果1-100）

最新的 引文 关联
乔恩·蒙乔伊

毫无骨气、没有标签的G-machine，自然。 （英语） Zbl 1428.68109号

1998年9月26日至29日，美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34，编号1。纽约州纽约市：计算机协会（ACM）。163-173（1999年）。
MSC公司：68甲18 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Mountjoy}，in：第三届ACM SIGPLAN函数编程国际会议论文集，ICFP'98，美国马里兰州巴尔的摩，1998年9月26日至29日。纽约州纽约市：计算机协会（ACM）。163-173（1999年；Zbl 1428.68109）
全文： 内政部
保罗·费拉吉纳；Muthukrishnan，S。；马克·德·伯格

多方法调度：应用于字符串匹配问题的几何方法。 （英语） Zbl 1345.68103号

Vitter，Jeffrey Scott（编辑）等人，第31届ACM计算理论研讨会论文集，STOC 1999。1999年5月1日至4日，美国佐治亚州亚特兰大。纽约州纽约市：ACM，计算机协会（ISBN 1-58113-067-8）。483-491 (1999).
MSC公司：68号30 68甲19 68第05页 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{P.Ferragina}等人，摘自：第31届ACM计算理论研讨会论文集，STOC 1999。1999年5月1日至4日，美国佐治亚州亚特兰大。纽约州纽约市：ACM，计算机协会。483--491（1999年；Zbl 1345.68103）
全文： 内政部
马科斯·奇维；弗雷德里克·马格尼兹；米克洛斯·桑塔

具有相对误差的近似测试。 （英语） Zbl 1345.65027号

Vitter，Jeffrey Scott（编辑）等人，第31届ACM计算理论研讨会论文集，STOC 1999。1999年5月1日至4日，美国佐治亚州亚特兰大。纽约州纽约市：ACM，计算机协会（ISBN 1-58113-067-8）。51-60 (1999).
MSC公司：65G20个 65年20月
PDF格式BibTeX公司 XML格式引用
\textit{M.Kiwi}等人，摘自：第31届ACM计算理论研讨会论文集，STOC 1999。1999年5月1日至4日，美国佐治亚州亚特兰大。纽约州纽约市：ACM，计算机协会。51-60（1999；Zbl 1345.65027）
全文： 内政部
玛丽亚·阿尔普恩特；迈克尔·哈纳斯；萨尔瓦多卢卡斯；德国维达尔

归纳顺序功能逻辑程序的专业化。 （英语） Zbl 1345.68090号

1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录，ICFP'99。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-111-9）。ACM SIGPLAN公告34，第9号，273-283（1999）。
MSC公司：68号30 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，in：第四届ACM-SIGPLAN函数编程国际会议论文集，ICFP'99，巴黎，法国，1999年9月27-29日。纽约州纽约市：计算机协会（ACM）。273——283（1999年；Zbl 1345.68090）
全文： 内政部
弗兰克，哈

使用抽象解释和模型检查验证Erlang程序。 （英语） Zbl 1345.68060号

1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录，ICFP'99。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-111-9）。ACM SIGPLAN通知34，第9号，261-272（1999）。
MSC公司：68甲18 64岁以下 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Huch}，in：第四届ACM SIGPLAN函数编程国际会议论文集，ICFP'99，巴黎，法国，1999年9月27-29日。纽约州纽约市：计算机协会（ACM）。261--272（1999年；Zbl 1345.68060）
全文： 内政部 链接
史蒂夫·兹丹塞维奇；丹·格罗斯曼；格雷格·莫里塞特

编程语言中的原理，一种语法证明技术。 （英语） Zbl 1345.68114号

1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录，ICFP'99。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-111-9）。ACM SIGPLAN通知34，第9号，197-207（1999）。
MSC公司：68号30 03B40型 68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{S.Zdancewic}等人，in：第四届ACM SIGPLAN函数编程国际会议论文集，ICFP'99，巴黎，法国，1999年9月27-29日。纽约州纽约市：计算机协会（ACM）。197-207（1999；Zbl 1345.68114）
全文： 内政部
Neal Glew先生

命名层次结构类型的类型分派。 （英语） Zbl 1345.68083号

1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录，ICFP'99。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-111-9）。ACM SIGPLAN通知34，第9号，172-182（1999）。
MSC公司：68甲19 03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Glew}，in：第四届ACM SIGPLAN函数编程国际会议论文集，ICFP'99，法国巴黎，1999年9月27-29日。纽约州纽约市：计算机协会（ACM）。172-182（1999年；Zbl 1345.68083）
全文： 内政部
斯普·阿夫斯基，兹吉斯·阿夫；巴威·乌尔兹琴

键入固定点、迭代与递归。 （英语） Zbl 1343.03010号

1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录，ICFP'99。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-111-9）。ACM SIGPLAN通知34，第9号，102-113（1999）。
MSC公司：03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Spławski}和\textit{P.Urzyczyn}，in：第四届ACM SIGPLAN函数编程国际会议论文集，ICFP'99，法国巴黎，1999年9月27-29日。纽约州纽约市：计算机协会（ACM）。102-113（1999；Zbl 1343.03010）
全文： 内政部
A.西马蒂。；E.克拉克。；金奇利亚，F。；M.罗维里。

NuSMV：一种新的符号模型验证器。 （英语） Zbl 1046.68587号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 495-499 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。1633495-499（1999年；Zbl 1046.68587）
戴维·巴恩斯；斯特凡·弗里德里希；约阿希姆·波塞加；哈拉尔德·沃格特

通过模型检查进行Java字节码验证。系统摘要。 （英语） Zbl 1046.68575号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 491-494 (1999).
MSC公司：60年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，Lect。票据计算。科学。1633491-494（1999年；兹bl 1046.68575）
H·赫尔曼斯。；Mertsiotakis，V。；西格尔，M。

TIPPtool：马尔科夫性能模型的组成规范和分析。 （英语） Zbl 1046.68594号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 487-490 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}等人，Lect。票据计算。科学。1633487-490（1999年；Zbl 1046.68594）
彼得·布霍尔茨；彼得·坎佩尔

用于分析离散事件动态系统的工具箱。 （英语） Zbl 1046.93509号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 483-486 (1999).
MSC公司：93元65角 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Buchholz}和\textit{P.Kemper}，莱克特。票据计算。科学。1633483-486（1999年；Zbl 1046.93509）
Randal E.布莱恩特。；德国人，史蒂文；米罗斯拉夫·维列夫

在带有未解释函数的等式逻辑中利用正等式。 （英语） Zbl 1046.68584号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 470-482 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}等人，Lect。票据计算。科学。1633470-482（1999年；Zbl 1046.68584）
阿米尔·普努利；约夫·罗德；奥弗·施特里克曼；迈克尔·西格尔

通过小域实例化确定等式公式。 （英语） Zbl 1046.68605号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 455-469 (1999).
MSC公司：60年第68季度 68吨15 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}等人，Lect。票据计算。科学。1633455-469（1999年；Zbl 1046.68605）
赛义迪，哈森；Natarajan Shankar

证明时进行抽象和模型检查。 （英语） Zbl 1046.68608号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633年，443-454年（1999年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Saídi}和\textit{N.Shankar}，莱克托。票据计算。科学。16332443-454（1999年；兹bl 1046.68608）
马克·斯皮尔曼

自动验证抽象状态机（扩展抽象）。 （英语） Zbl 1046.68610号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 431-442 (1999).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Spielmann}，莱克特。票据计算。科学。1633431-442（1999年；Zbl 1046.68610）
Vamsi Boppana；Sreeranga P.拉詹。；高山小一郎；Masahiro Fujita

基于顺序ATPG的模型检查。 （英语） Zbl 1046.68580号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 418-430 (1999).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Boppana}等人，Lect。票据计算。科学。1633418-430（1999年；Zbl 1046.68580）
Kedar S.Namjoshi。；罗伯特·P·库尔珊（Robert P.Kurshan）。

循环定义的有效分析。 （英语） Zbl 1046.68604号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 394-405 (1999).
MSC公司：60年第68季度 65年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Namjoshi}和\textit{R.P.Kurshan}，莱克托。票据计算。科学。1633、394--405（1999年；Zbl 1046.68604）
比杰西，佩尔

组合和流水线FFT电路的自动验证。 （英语） 兹比尔1046.68639

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 380-393 (1999).
MSC公司：68吨15 94立方厘米 65T50型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bjesse}，莱克特。票据计算。科学。1633、380-393（1999年；Zbl 1046.68639）
Manolios，Panagiotis公司；基达尔·纳姆乔什；罗伯特·萨默斯

将定理证明和模型检查与基础良好的互模拟联系起来。 （英语） Zbl 1046.68602号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 369-379 (1999).
MSC公司：60年第68季度 68吨15 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Manolios}等人，Lect。票据计算。科学。1633369-379（1999年；Zbl 1046.68602）
贝尔曼，G。；拉森，K.G。；皮尔逊，J。；魏斯，C。；Yi，W。

使用时钟差图进行高效的定时可达性分析。 （英语） Zbl 1046.68577号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 341-353 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。票据计算。科学。1633、341--353（1999；Zbl 1046.68577）
杨伯伦；里德·西蒙斯；Randal E.布莱恩特。；大卫·R·奥哈拉龙。

优化约束丰富模型的符号模型检查。 （英语） Zbl 1046.68611号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 328-340 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Yang}等人，Lect。票据计算。科学。16333228-340（1999年；兹bl 1046.68611）
约恩·林德·尼尔森；安徒生、亨利克·雷夫

状态/事件系统的逐步CTL模型检查。 （英语） Zbl 1046.68600号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 316-327 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛J.Lind Nielsen｝和\textit｛H.R.Andersen｝，Lect。票据计算。科学。1633316-327（1999年；Zbl 1046.68600）
托马斯·亨辛格（Thomas A.Henzinger）。；沙兹·卡迪尔；Rajamani，Sriram K。

验证共享内存多处理器系统上的顺序一致性。 （英语） Zbl 1046.68593号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 301-315 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。票据计算。科学。1633301--315（1999年；Zbl 1046.68593）
约翰·马修斯；约翰·朗奇伯里

基本微体系结构代数。 （英语） Zbl 1046.68603号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 288-300 (1999).
MSC公司：60年第68季度 68甲18 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{J.Matthews}和\textit{J.Launchbury}，莱克特。票据计算。科学。1633、288--300（1999年；Zbl 1046.68603）
格伦·布伦斯；帕特丽斯·戈德弗里德

用3值时序逻辑（扩展抽象）对部分状态空间进行模型检查。 （英语） Zbl 1046.68583号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 274-287 (1999).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bruns｝和\textit｛P.Godefroid｝，Lect。票据计算。科学。1633274-287（1999年；Zbl 1046.68583）
马里乌斯·博兹加；奥德·马勒

关于结构化域上概率的表示。 （英语） 兹比尔1046.68581

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 261-273 (1999).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozga}和\textit{O.Maler}，莱克特。票据计算。科学。1633、261--273（1999年；Zbl 1046.68581）
丹尼尔，马可；福斯托·金奇利亚；莫舍·瓦尔迪。

改进了线性时序逻辑的自动机生成。 （英语） Zbl 1046.68588号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 249-260 (1999).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Daniele}等人，Lect。票据计算。科学。1633、249--260（1999；Zbl 1046.68588）
库沙·埃特萨米

口吃变异语言、自动机和时态逻辑。 （英语） Zbl 1046.68591号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 236-248 (1999).
MSC公司：60年第68季度 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}，莱克特。票据计算。科学。1633，236--248（1999；Zbl 1046.68591）
罗德里克·布洛姆；卡维塔·拉维；法比奥·萨蒙齐

线性时间逻辑属性模型检查的有效决策程序。 （英语） Zbl 1046.68579号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 222-235 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。票据计算。科学。1633222-235（1999年；兹bl 1046.68579）
托马斯·亨辛格（Thomas A.Henzinger）。；沙兹·卡迪尔；Rajamani，Sriram K。

假设保证不同时间尺度之间的优化。 （英语） Zbl 1046.68592号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 208-221 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。票据计算。科学。1633208--221（1999；Zbl 1046.68592）
周庆孙

符号轨迹评价的数学基础。 （英语） Zbl 1046.68586号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 196-207 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.-T.Chou}，莱克特。票据计算。科学。1633196-207（1999；Zbl 1046.68586）
罗姆·兰格拉克；埃德·布林克斯马

进程代数的完整有限前缀。 （英语） Zbl 1046.68598号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 184-195 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Langerak}和\textit{E.Brinksma}，莱克特。票据计算。科学。1633、184--195（1999；Zbl 1046.68598）
奥尔纳·库普弗曼；莫舍·瓦尔迪。

安全特性的模型检查。 （英语） Zbl 1046.68597号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633172-183（1999年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。票据计算。科学。1633172-183（1999年；Zbl 1046.68597）
Das、Satyaki；大卫·L·迪尔。；Park，Seungjoon公园

具有谓词抽象的经验。 （英语） Zbl 1046.68589号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 160-171 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Das}等人，Lect。票据计算。科学。1633、160--171（1999年；Zbl 1046.68589）
帕罗什·阿齐兹·阿卜杜拉；奥罗尔·安尼奇尼；萨德克·本萨勒姆；艾哈迈德·博阿贾尼；彼得·哈贝梅尔；亚辛·拉奇

通过结合抽象和可达性分析对无限状态系统进行验证。 （英语） Zbl 1046.68572号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 146-159 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。1633、146--159（1999年；Zbl 1046.68572）
帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；本特·琼森；马库斯·尼尔森

在参数化系统验证中处理全局条件。 （英语） 兹比尔1046.68573

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 134-145 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。1633、134--145（1999年；Zbl 1046.68573）
卢卡·卡洛尼（Luca P.Carloni）。；肯尼思·麦克米兰。；Alberto L.Sangiovanni-Vincentelli。

延迟不敏感协议。 （英语） 兹比尔1046.68585

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 123-133 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.P.Carloni}等人，Lect。票据计算。科学。1633、123--133（1999年；Zbl 1046.68585）
蒂埃里·杰伦；皮埃尔·莫雷尔

从模型检查派生的测试生成。 （英语） Zbl 1046.68596号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 108-121 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Jéron}和\textit{P.Morel}，莱克特。票据计算。科学。1633，108-121（1999；Zbl 1046.68596）
贝拉德，贝特里奇；劳伦·弗里堡

参数化实时程序的自动验证：ABR一致性协议。 （英语） Zbl 1046.68501号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 96-107 (1999).
MSC公司：68个M12 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.贝拉德}和\textit{L.弗里堡}，莱克特。票据计算。科学。1633、96-107（1999年；Zbl 1046.68501）
拉梅什，S。；普兰达尔·巴杜里

使用Esterel工具验证流水线处理器设计：案例研究（扩展摘要）。 （英语） 兹比尔1046.68607

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 84-95 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Ramesh}和\textit{P.Bhaduri}，莱克特。票据计算。科学。1633、84-95（1999年；Zbl 1046.68607）
杰森·鲍姆加特纳；泰米尔·海曼；Vigyan Singhal公司；阿德南·阿齐兹

IBM千兆赫兹处理器的模型检查：一种用于高性能网表的抽象算法。 （英语） Zbl 1046.68576号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 72-83 (1999).
MSC公司：60年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Baumgartner}等人，Lect。票据计算。科学。1633，72-83（1999年；兹bl 1046.68576）
阿明·比尔；埃德蒙·克拉克；理查德·雷米；朱云山

使用没有BDD的符号模型检查验证PowerPC（^{TM}）微处理器的安全属性。 （英语） Zbl 1046.68578号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 60-71 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Biere}等人，Lect。票据计算。科学。1633、60-71（1999年；Zbl 1046.68578）
拉维·霍萨贝图；斯利瓦斯，曼达扬；加内什·戈帕拉克里什南

使用完成函数方法证明具有重排序缓冲区的处理器的正确性。 （英语） Zbl 1046.68595号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 47-59 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Hosabettu}等人，Lect。票据计算。科学。1633，47-59（1999；Zbl 1046.68595）
埃德·布林克斯马

一致性测试的形式化方法：理论可以实用。 （英语） Zbl 1046.68582号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633，44-46（1999年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Brinksma}，莱克特。票据计算。科学。1633，44-46（1999年；兹bl 1046.68582）
佐哈尔·曼纳；亨尼·B·西普玛。

通过图表上的动态归纳法验证参数化系统。 （英语） 兹比尔1046.68601

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 25-43 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Z.Manna}和\textit{H.B.Sipma}，莱克特。票据计算。科学。1633年、25-43年（1999年；Zbl 1046.68601）
拉杰夫·阿鲁尔

定时自动机。 （英语） 兹比尔1046.68574

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 8-22 (1999).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}，莱克特。票据计算。科学。1633年8月22日（1999年；Zbl 1046.68574）
约瑟夫·西法基斯

定时系统的组成规范-一个图罗。 （英语） Zbl 1046.68609号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 2-7 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本｛J.Sifakis｝，Lect。票据计算。科学。1633年2月7日（1999年；Zbl 1046.68609）
大卫·L·迪尔。

硬件验证的替代方法。 （英语） Zbl 1046.68590号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 1 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.L.Dill}，莱克特。票据计算。科学。1633，1（1999；Zbl 1046.68590）
瓦莱里亚·德·佩瓦

构造性认证逻辑：一项研究建议。 （英语） Zbl 1041.03511号

爱德华·赫尔曼（Edward Hermann）等，《PRATICA》。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内卢蓬蒂菲西亚大学（ISBN 85-900900-1-9/pbk）。121-126 (1999).
MSC公司：03B70号 68第25页 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{V.de Paiva}，in：普拉蒂卡。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内罗蓬蒂菲西亚大学。121-126（1999；Zbl 1041.03511）
Paulo Augusto S.维洛索。

关于fork关系和编程。 （英语） Zbl 1111.68399号

爱德华·赫尔曼（Edward Hermann）等，《PRATICA》。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内卢蓬蒂菲西亚大学（ISBN 85-900900-1-9/pbk）。5-54 (1999).
MSC公司：68号30 03B70号 03G15年
PDF格式BibTeX公司 XML格式引用
\textit{P.A.S.Veloso}，in：普拉蒂卡。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内罗蓬蒂菲西亚大学。5--54（1999年；Zbl 1111.68399）
约瑟夫·戈根（Joseph A.Goguen）。

隐藏的代数工程。 （英语） Zbl 1047.68035号

Nehaniv，Chrystopher L.（ed.）等人，代数工程。形式语言和计算机系统国际研讨会论文集，日本京都，1997年3月18-21日，以及1997年3月24-28日在日本会津举行的第一次半群和代数工程国际会议论文集。新加坡：世界科学（ISBN 981-02-3667-0/hbk）。17-36 (1999).
MSC公司：68号30 68问题65 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Goguen}，in：代数工程。形式语言和计算机系统国际研讨会论文集，日本京都，1997年3月18日至21日，以及第一届半群和代数工程国际会议论文集，1997年5月24日至28日，日本爱津。新加坡：世界科学。17-36（1999年；兹bl 1047.68035）
格卢什科娃，V.N。

CAD系统转换的逻辑规范。 （俄语） Zbl 1013.68117号

伊兹夫。维什。乌切布。扎韦德。，性别-卡夫克。Estestv注册。瑙基 1999年，第3期，21-23（1999）.
审核人：安德烈·泽姆斯科夫（莫斯科）
MSC公司：60年第68季度 第68季度55 第68季度第42季度 03B70号
PDF格式BibTeX公司 XML格式引用
\文本{V.N.Glushkova}，Izv。维什。乌切布。扎韦德。，性别-卡夫克。Estestv注册。Nauki 1999年，第3期，第21--23页（1999年；Zbl 1013.68117）
查斯蒂科夫，A.P。；布拉特尼科娃，I.N。

面向微芯片控制系统开发人员的数学程序。 （俄语） 兹比尔1012.68054

伊兹夫。维什。乌切布。扎韦德。，性别-卡夫克。Estestv注册。瑙基 1999年，第2期，86-88（1999）.
审核人：安德烈·泽姆斯科夫（莫斯科）
MSC公司：68号30 68N17号 68周25 90 C59 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Chastikov}和\textit{I.N.Bulatnikova}，Izv。维什。乌切布。扎韦德。，性别-卡夫克。Estestv注册。Nauki 1999，第2期，86--88（1999；Zbl 1012.68054）
Oege de Moor公司；加内什锡坦帕拉姆

程序转换的高阶匹配。 （英语） Zbl 0988.68541号

Middeldorp，Aart（编辑）等人，《函数和逻辑编程》。第四届富士国际研讨会，FLOPS’99，日本筑波，1999年11月11-13日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1722209-224（1999年）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{O.de Moor}和\textit{G.Sittampalam}，莱克特。票据计算。科学。1722、209--224（1999；Zbl 0988.68541）
安东尼奥·J·费尔南德斯。；帕特里夏·M·希尔。

基于区间格的格约束求解框架。 （英语） Zbl 0988.68034号

Middeldorp，Aart（编辑）等人，《函数和逻辑编程》。第四届富士国际研讨会，FLOPS’99，日本筑波，1999年11月11-13日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1722, 194-208 (1999).
MSC公司：68N17号 第68季度55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.J.Fernández}和\textit{P.M.Hill}，莱克特。票据计算。科学。1722194-208（1999年；Zbl 0988.68034）
吉尔·巴特；伯纳德·塞尔佩特。

物体计算的部分评估和不干涉。 （英语） 兹比尔0988.68049

Middeldorp，Aart（编辑）等人，《函数和逻辑编程》。第四届富士国际研讨会，FLOPS’99，日本筑波，1999年11月11-13日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1722, 53-67 (1999).
MSC公司：68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}和\textit{B.P.Serpette}，莱克特。票据计算。科学。1722、53-67（1999年；Zbl 0988.68049）
新南威尔士州迪米特洛娃。

关于三对角循环对称线性系统的一种验证算法。 （英语） Zbl 0980.65025号

Iliev，O.P.（编辑）等人，《数值方法和应用的最新进展》。1998年8月19日至23日，保加利亚索非亚，1998年NMA第四届国际会议记录。新加坡：世界科学。347-354 (1999).
MSC公司：65平方英尺 65层50 65G20个
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Dimitrova}，in：数值方法和应用的最新进展。第四届国际会议记录，NMA'98，保加利亚索非亚，1998年8月19日至23日。新加坡：世界科学。347--354（1999；Zbl 0980.65025）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件