斯维特拉纳·雅克西奇;卢卡·帕多瓦尼 无副本消息传递的异常处理。 (英语) Zbl 1283.68208号 科学。计算。程序。 84, 22-51 (2014).MSC公司:60年第68季度 68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}和\textit{L.Padovani},科学。计算。程序。84、22-51(2014;Zbl 1283.68208) 全文: 内政部
Jörg Brauer;安迪·金;斯特凡·科瓦列夫斯基 单片机代码的抽象解释:区间满足同余。 (英语) Zbl 1284.68167号 科学。计算。程序。 78,第7期,862-883(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}等人,科学。计算。程序。78,第7号,862--883(2013;Zbl 1284.68167) 全文: 内政部
Alwyn E.古德洛。;塞萨尔·穆尼奥斯。 远程操作飞机通信协议的组成验证。 (英语) Zbl 1284.68184号 科学。计算。程序。 78,第7期,813-827(2013).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Goodloe}和\textit{C.A.Muñoz},科学。计算。程序。78,编号7,813--827(2013;Zbl 1284.68184) 全文: 内政部
沃尔夫冈·阿伦特;马克西米利安·迪拉 异步对象的组合验证系统。 (英语) Zbl 1264.68050号 科学。计算。程序。 77,第12期,1289-1309(2012).MSC公司:68号30 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}和\textit{M.Dylla},科学。计算。程序。77,第12号,1289--1309(2012;Zbl 1264.68050) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦州瓦尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) Zbl 1243.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:60年第68季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,No.10--111122--1150(2012;Zbl 1243.68212) 全文: 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 (英语) Zbl 1243.68138号 科学。计算。程序。 77,第5期,577-608(2012).MSC公司:68甲15 68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人,科学。计算。程序。77,第5号,577--608(2012;Zbl 1243.68138) 全文: 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯 将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 (英语) Zbl 1243.68042号 科学。计算。程序。 77,第3号,290-313(2012).MSC公司:68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,科学。计算。程序。77,第3号,290--313(2012;Zbl 1243.68042) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 决定论和幂等性的规则格式。 (英语) Zbl 1243.68205号 科学。计算。程序。 77,编号7-8,889-907(2012).MSC公司:第68季度55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,科学。计算。程序。77,编号7--8889--907(2012;Zbl 1243.68205) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 针对多重继承的具有惰性行为子类型的增量推理。 (英语) Zbl 1221.68058号 科学。计算。程序。 76,第10期,915-941(2011).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,科学。计算。程序。76,第10号,915--941(2011;Zbl 1221.68058) 全文: 内政部
马塞尔·奥利维拉;泽达,弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富的并发规范的策略语言。 (英语) Zbl 1218.68101号 科学。计算。程序。 76,第9期,792-833(2011).MSC公司:60年第68季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,科学。计算。程序。76,第9号,792--833(2011;Zbl 1218.68101) 全文: 内政部
格哈德·谢尔霍恩 公平ASM改进的完整性。 (英语) Zbl 1217.68065号 科学。计算。程序。 76,第9期,756-773(2011).MSC公司:68号30 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn},科学。计算。程序。76,第9号,756--773(2011;Zbl 1217.68065) 全文: 内政部
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) 兹比尔1220.68069 科学。计算。程序。 76,第9期,739-755(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。76,第9号,739--755(2011;Zbl 1220.68069) 全文: 内政部 链接
男,克里斯;大卫·J·皮尔斯。;亚历克斯·波坦;康斯坦丁·迪姆尼科夫 非Null类型字节码验证算法的形式化和实现。 (英语) Zbl 1215.68069号 科学。计算。程序。 76,第7期,587-608(2011).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Male}等人,科学。计算。程序。76,第7号,587--608(2011;Zbl 1215.68069) 全文: 内政部
维姆·赫塞林克。;亚历克斯·A·阿拉文。 线性有界超车的基于队列的互斥。 (英语) Zbl 1217.68137号 科学。计算。程序。 76,第7期,542-554(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{A.A.Aravind},科学。计算。程序。76,第7号,542--554(2011;Zbl 1217.68137) 全文: 内政部
安德斯·默勒;迈克尔·施瓦茨巴赫 程序分析中的XML图。 (英语) 兹比尔1215.68079 科学。计算。程序。 76,第6期,492-515(2011).MSC公司:68N99型 68甲15 68兰特 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Möller}和\textit{M.Schwartzbach},科学。计算。程序。76,No.6,492--515(2011;Zbl 1215.68079) 全文: 内政部
巴斯蒂安·施利希;Jörg Brauer;斯特凡·科瓦列夫斯基 状态空间缩减静态分析在微控制器二进制代码中的应用。 (英语) Zbl 1213.68390号 科学。计算。程序。 76,第2期,100-118(2011).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Schlich}等人,科学。计算。程序。76,No.2,100--118(2011;Zbl 1213.68390) 全文: 内政部
亚历山德罗·里奇;米尔科·维罗利;朱利奥·皮安卡斯特利 simpA:一种基于Java的面向代理的并发应用程序编程方法。 (英语) Zbl 1211.68055号 科学。计算。程序。 76,第1号,37-62(2011).MSC公司:68甲15 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ricci}等人,科学。计算。程序。76,第1号,37--62(2011;Zbl 1211.68055) 全文: 内政部
约瑟夫·吉尔(约西);克伦·伦茨 简单安全的SQL查询C类++模板。 (英语) Zbl 1211.68155号 科学。计算。程序。 75,第7期,573-595(2010).MSC公司:第68页,共15页 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gil}和\textit{K.Lenz},科学。计算。程序。75,第7号,573--595(2010;Zbl 1211.68155) 全文: 内政部
丹尼,乔尔·E。;布莱恩·马洛伊(Brian A.Malloy)。 用于为具有冲突解决的非LR(1)文法生成最小LR(2)解析器表的IELR(3)算法。 (英语) Zbl 1209.68286号 科学。计算。程序。 75,编号11,943-979(2010).MSC公司:2012年第68季度 68N99型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Denny}和\textit{B.A.Malloy},科学。计算。程序。75,第11号,943--979(2010;Zbl 1209.68286) 全文: 内政部
弗朗西斯科·洛戈佐;曼努埃尔·Fähndrich 五边形:用于有效验证数组访问的弱关系抽象域。 (英语) Zbl 1197.68035号 科学。计算。程序。 75,第9期,796-807(2010).MSC公司:68甲15 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Logozzo}和\textit{M.Fähndrich},科学。计算。程序。75,编号9,796-807(2010年;兹bl 1197.68035) 全文: 内政部
沃德,马丁;侯赛因·泽丹 结合动态切片和静态切片分析汇编程序。 (英语) Zbl 1191.68174号 科学。计算。程序。 75,第3期,134-175(2010).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ward}和\textit{H.Zedan},科学。计算。程序。75,第3号,134--175(2010;Zbl 1191.68174) 全文: 内政部
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 声音重构。 (英语) 兹比尔1191.68168 科学。计算。程序。 75,第3期,106-133(2010).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Cornélio}等人,科学。计算。程序。75,编号3,106--133(2010;Zbl 1191.68168) 全文: 内政部
克里斯蒂安·林德克内特;尼克·沃兰斯基 元编译中未分析模式的理论和实践。 (英语) 兹比尔1191.68173 科学。计算。程序。 75,第3期,85-105(2010).MSC公司:68N20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Rinderknecht}和\textit{N.Volanschi},科学。计算。程序。75,第3号,85--105(2010;Zbl 1191.68173) 全文: 内政部
西尔万·施密茨 一种实验性的模糊度检测工具。 (英语) Zbl 1187.68282号 科学。计算。程序。 75,编号1-2,71-84(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schmitz},科学。计算。程序。75,编号1--2,71-84(2010;Zbl 1187.68282) 全文: 内政部
伊丽莎白·斯科特;阿德里安·约翰斯通 识别不是解析——SPPF类型的立方识别器解析。 (英语) Zbl 1187.68301号 科学。计算。程序。 75,编号1-2,55-70(2010).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Scott}和\textit{A.Johnstone},科学。计算。程序。75,编号1--2,55-70(2010;Zbl 1187.68301) 全文: 内政部
埃里克·范怀克;德里克·博丹;高继民;Krishnan、Ligesh Silver:一个可扩展的属性语法系统。 (英语) Zbl 1187.68285号 科学。计算。程序。 75,编号1-2,39-54(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.van Wyk}等人,科学。计算。程序。75,编号1--2,39-54(2010;Zbl 1187.68285) 全文: 内政部 链接
阿里·米莉;谢尔·亚哈龙;查塔尼亚·纳德卡尼 关于循环函数推理的数学。 (英语) Zbl 1192.68160号 科学。计算。程序。 74,编号11-12,989-1020(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人,科学。计算。程序。74,编号11--12989--1020(2009;Zbl 1192.68160) 全文: 内政部
金·索林;约阿金·冯·赖特 精化代数中的启用和终止。 (英语) 兹比尔1192.68163 科学。计算。程序。 74,第8期,654-668(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Solin}和\textit{J.von Wright},科学。计算。程序。74,第8号,654--668(2009;Zbl 1192.68163) 全文: 内政部