克拉克·巴雷特 书评:Daniel Kroening和Ofer Strichman,《决策过程:算法观点》。 (英语) Zbl 1314.00015号 J.汽车。推理 51,第4期,453-456(2013).MSC公司:00A17年 68-01 68-02 68吨15 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett},J.Autom。推理51,No.4,453--456(2013;Zbl 1314.00015) 全文: 内政部
阿列克谢·利西萨 有限的安全理由。通过有限模型发现进行参数化验证。 (英语) Zbl 1314.68185号 J.汽车。推理 51,第4期,431-451(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa},J.Autom(《汽车杂志》)。推理51,No.4,431--451(2013;Zbl 1314.68185) 全文: 内政部
马提亚斯·巴兹;奥里·拉哈夫;安娜·扎曼斯基 规范标记计算的有限值语义。 (英语) Zbl 1314.03016号 J.汽车。推理 51,第4期,401-430(2013).MSC公司:03B22号 03B35型 03B50号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人,J.Autom。推理51,No.4,401-430(2013;Zbl 1314.03016) 全文: 内政部
卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊 具有全局自反不定性约束的树自动机的空性和有限性。 (英语) Zbl 1314.68175号 J.汽车。推理 51,第4号,371-400(2013).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Creus}等人,J.Autom。推理51,No.4,371--400(2013;Zbl 1314.68175) 全文: 内政部
克里斯蒂安·斯特纳格尔 证明珍珠:GHC合并排序的机械化证明。 (英语) Zbl 1314.68288号 J.汽车。推理 51,第4期,357-370(2013).MSC公司:68吨15 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Sternagel},J.奥托姆。推理51,No.4,357--370(2013;Zbl 1314.68288) 全文: 内政部