亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里 使用显式调度程序和符号线程进行软件模型检查。 (英语) Zbl 1254.68074号 日志。方法计算。科学。 8,第2号,第18号论文,42页(2012)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。方法计算。科学。8,第2号,第18号论文,42页(2012;Zbl 1254.68074) 全文: 内政部 arXiv公司
张丽君;大卫·詹森(David N.Jansen)。;弗莱明·尼尔森;霍尔格·赫尔曼斯 使用分层进行有效的CSL模型检查。 (英语) Zbl 1348.68152号 日志。方法计算。科学。 8,第2号,第17号论文,第18页(2012年)。MSC公司:60年第68季度 87年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Log。方法计算。科学。8,第2号,第17号论文,18页(2012;Zbl 1348.68152) 全文: 内政部
蒂诺州泰格;马丁·范策尔 随机布尔可满足性问题的广义Craig插值及其在概率状态可达性和区域稳定性中的应用。 (英语) Zbl 1242.68191号 日志。方法计算。科学。 8,第2号,第16号论文,32页(2012)。MSC公司:87年第68季度 03B70号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}和\textit{M.Fränzle},对数。方法计算。科学。8,第2号,第16号论文,32页(2012;Zbl 1242.68191) 全文: 内政部 arXiv公司
道格拉斯·S·布里奇斯。 预压缩间距。 (英语) Zbl 1241.03071号 日志。方法计算。科学。 8,第2号,第15号论文,第10页(2012年)。MSC公司:03层60 54E05型 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Bridges},日志。方法计算。科学。8,第2号,第15号论文,10页(2012;Zbl 1241.03071) 全文: 内政部 arXiv公司
城市,基督教;塞萨里·卡利西克 《名义伊莎贝尔》中的一般绑定和字母等效性。 (英语) Zbl 1242.68283号 日志。方法计算。科学。 8,第2号,第14号论文,35页(2012年)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban和\textit{C.Kaliszyk},日志。方法计算。科学。8,第2号,第14号论文,35页(2012;Zbl 1242.68283) 全文: 内政部
Damien Pous 不分型代数和着色循环线性逻辑。 (英语) Zbl 1241.03009号 日志。方法计算。科学。 8,第2号,第13号论文,21页(2012)。MSC公司:03B35型 03楼52 03G25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Pous},日志。方法计算。科学。8,第2号,第13号论文,21页(2012;Zbl 1241.03009) 全文: 内政部 arXiv公司
尼尔·加尼;帕特里夏·约翰;烟气、氯离子 一般纤维归纳法。 (英语) Zbl 1242.68172号 日志。方法计算。科学。 8,第2号,第12号论文,27页(2012)。MSC公司:68问题65 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人,日志。方法计算。科学。8,第2号,第12号论文,27页(2012;Zbl 1242.68172) 全文: 内政部 arXiv公司
雷米发动机盖;阿兰·芬克尔;杰罗姆·勒鲁;马克·泽顿 用一个零测试对矢量加法系统进行模型检验。 (英语) Zbl 1242.68196号 日志。方法计算。科学。 8,第2号,第11号论文,25页(2012年)。MSC公司:68年 2005年第68季度 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bonnet}等人,日志。方法计算。科学。8,第2号,第11号论文,25页(2012;Zbl 1242.68196) 全文: 内政部 arXiv公司
辛西娅·科普;范·拉姆斯东克(Femke van Raamsdonk) 代数函数系统的动态依赖对。 (英语) Zbl 1242.68136号 日志。方法计算。科学。 8,第2号,第10号论文,51页(2012年)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kop}和\textit{F.van Raamsdonk},Log。方法计算。科学。8,第2号,第10号论文,51页(2012;Zbl 1242.68136) 全文: 内政部 arXiv公司
罗伯特·阿特基;帕特里夏·约翰;尼尔·加尼 精炼归纳类型。 (英语) Zbl 1241.68045号 日志。方法计算。科学。 8,第2号,第9号论文,30页(2012年)。MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Atkey}等人,日志。方法计算。科学。8,第2号,第9号论文,30页(2012;Zbl 1241.68045) 全文: 内政部
阿拉斯代尔·厄克哈特 常规分辨率样张的宽度和尺寸。 (英语) Zbl 1238.03047号 日志。方法计算。科学。 8,第2号,第8号论文,第15页(2012年)。MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Urquhart},日志。方法计算。科学。8,第2号,第8号论文,第15页(2012;Zbl 1238.03047) 全文: 内政部 arXiv公司
Mio、Matteo 关于概率演算的博弈和指称语义的等价性。 (英语) Zbl 1238.68082号 日志。方法计算。科学。 8,第2号,第7号论文,21页(2012年)。MSC公司:68问题55 03B44号 68问题85 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mio},日志。方法计算。科学。8,第2号,第7号论文,21页(2012年;Zbl 1238.68082) 全文: 内政部 arXiv公司
帕特里克·巴尔 术语图重写的收敛模式。 (英语) 兹比尔1238.68166 日志。方法计算。科学。 8,第2号,第6号论文,60页(2012年)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bahr},日志。方法计算。科学。8,第2号,第6号论文,60页(2012年;Zbl 1238.68166) 全文: 内政部
托马斯·延森;弗洛伦特·基什内尔;大卫·皮哈迪 保护克隆。 (英语) Zbl 1238.68047号 日志。方法计算。科学。 8,第2号,第5号论文,30页(2012年)。MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.Jensen}等人,Log。方法计算。科学。8,第2号,第5号论文,30页(2012;Zbl 1238.68047) 全文: 内政部 arXiv公司
罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 阵列理论的无量子化插值。 (英语) Zbl 1237.68123号 日志。方法计算。科学。 8,第2号,第4号论文,39页(2012)。MSC公司:60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,日志。方法计算。科学。8,第2号,第4号论文,39页(2012;Zbl 1237.68123) 全文: 内政部
马丁·蒙德亨克;费利克斯·维斯 直觉暗示使模型检查变得困难。 (英语) Zbl 1237.68125号 日志。方法计算。科学。 8,第2号,第3号论文,29页(2012)。MSC公司:60年第68季度 03B20型 03B45号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mundhenk}和\textit{F.Weiss},Log。方法计算。科学。8,第2号,第3号论文,29页(2012;Zbl 1237.68125) 全文: 内政部 arXiv公司
霍博尔,阿奎那;克里斯蒂安·吉尔吉纳 并发分离逻辑中的障碍:现在有了工具支持! (英语) Zbl 1237.68062号 日志。方法计算。科学。 8,第2期,第2号论文,36页(2012年)。MSC公司:68号30 03B70号 60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Hobor}和\textit{C.Gherghina},Log。方法计算。科学。8,第2期,第2号论文,36页(2012;Zbl 1237.68062) 全文: 内政部
阿伦斯,贝内迪克特 类型化抽象语法的扩展首字母。 (英语) Zbl 1362.68039号 日志。方法计算。科学。 8,第2号,第1号论文,35页(2012年)。MSC公司:68号30 18立方厘米 18 C50 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens},日志。方法计算。科学。8,第2号,第1号论文,35页(2012;Zbl 1362.68039) 全文: 内政部 arXiv公司