伯恩哈德·贝克特;弗拉基米尔·克莱巴诺夫 多线程程序演绎验证的动态逻辑。 (英语) Zbl 1298.68165号 正式Asp。计算。 25,第3期,405-437(2013).MSC公司:60年第68季度 68号30 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{B.Beckert}和\textit{V.Klebanov},正式Asp。计算。25,第3号,405--437(2013;Zbl 1298.68165) 全文: 内政部
Domagoj Babić;拜伦·库克;胡亚伦·J·。;茨沃尼米尔·拉卡马里奇 证明非线性命令序列的终止。 (英语) Zbl 1298.68164号 正式Asp。计算。 25,第3期,389-403(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Babić}等人,正式Asp。计算。25,第3号,389--403(2013;Zbl 1298.68164) 全文: 内政部
胡安·佩纳。;克里斯·乔治 型号检查RAISE应用规范。 (英语) Zbl 1298.68065号 正式Asp。计算。 25,第3期,365-388(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Perna}和\textit{C.George},正式Asp。计算。25,第3号,365-388(2013;Zbl 1298.68065) 全文: 内政部 链接
罗布·阿尔森;乌苏拉·马丁;保罗·奥利瓦 线性系统的霍尔逻辑。 (英语) Zbl 1298.68163号 正式Asp。计算。 25,第3期,345-363(2013).MSC公司:60年第68季度 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{R.Arthan}等人,正式Asp。计算。25,第3号,345--363(2013;Zbl 1298.68163) 全文: 内政部
乔纳森·鲍文(Jonathan P.Bowen)。(编辑);迈克尔·巴特勒(编辑);史蒂夫·里夫斯(编辑);欣奇,迈克(编辑) 编辑。 (英语) Zbl 1298.00236号 正式Asp。计算。 25,第3号,343(2013).MSC公司:00B25型 68-06 68新元 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}(编辑)等,《形式语法》。计算。25、3号、343(2013;Zbl 1298.00236) 全文: 内政部