尼古拉斯·帕帕尼科劳;萨迪·克里斯;迈克尔·戈德史密斯 完善隐私策略检查。 (英语) Zbl 1243.68041号 科学。计算。程序。 77,编号10-11198-1209(2012).MSC公司:68英里11 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Papanikolaou}等人,科学。计算。程序。77,No.10--111198--1209(2012;Zbl 1243.68041) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:60年第68季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
阿尔瓦罗宫泽;安娜·卡瓦尔坎蒂 状态流图的优化模型。 (英语) Zbl 1243.68152号 科学。计算。程序。 77,第10-11号,1151-1177(2012).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Miyazawa}和\textit{A.Cavalcanti},科学。计算。程序。77,No.10--111151--1177(2012;Zbl 1243.68152) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) 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.68213号 科学。计算。程序。 77,第10-11号,1095-1121(2012).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubrovin}等人,科学。计算。程序。77,No.10--111095--1121(2012;Zbl 1243.68213) 全文: 内政部
拉杜·马特埃斯库;安东·威伊斯 弱τ碰撞的连续和分布式实时计算。 (英语) 兹比尔1243.68219 科学。计算。程序。 77,编号10-11,1075-1094(2012).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{A.Wijs},科学。计算。程序。77,No.10--111075--1094(2012;Zbl 1243.68219) 全文: 内政部 哈尔
雷纳尔德·阿弗尔德;大卫·诺瓦克;清桥山田 用正式安全证明证明组件:BBS的情况。 (英语) Zbl 1243.68146号 科学。计算。程序。 77,编号10-11,1058-1074(2012).MSC公司:68号30 94A60型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,科学。计算。程序。77,No.10--11,1058--1074(2012;Zbl 1243.68146) 全文: 内政部
安东尼·纳卡维奇;穆尼奥斯,塞萨尔;Gilles Dowek 有效纠正冲突预防带算法。 (英语) Zbl 1243.68153号 科学。计算。程序。 77,编号10-11,1039-1057(2012).MSC公司:68号30 60年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Narkawicz}等人,科学。计算。程序。77,No.10--111039--1057(2012;Zbl 1243.68153) 全文: 内政部
马库斯·罗根巴赫(编辑) 特刊:AVoCS’09。根据2009年9月23日至25日在英国威尔士斯旺西举行的第九届关键系统自动验证国际研讨会上的演示文稿选出的论文。 (英语) Zbl 1246.68053号 科学。计算。程序。77,No.10-11,1027-1209(2012)。 MSC公司:68-06 00B25型 68号30 60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式