弗朗西安·戴奇森;王燕京 知道或不知道:安全协议验证的认知方法。 (英语) Zbl 1225.03017号 合成 177,补遗1,51-76(2010). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B42号 03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dechesne}和\textit{Y.Wang},综合177,51--76(2010;Zbl 1225.03017) 全文: 内政部 OA许可证
Alechina,娜塔莎;布赖恩·洛根;Nguyen,黄岩;阿卜杜勒·拉基布 验证推理代理系统中的时间、内存和通信边界。 (英语) Zbl 1187.68571号 合成 169,第2期,385-403(2009).MSC公司:68T27型 03B42号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Synthese 169,No.2,385--403(2009;Zbl 1187.68571) 全文: 内政部
范德霍克,威比;马克·罗伯茨;迈克尔·伍尔德里奇 交替时间中的社会规律:有效性、可行性和综合性。 (英语) Zbl 1120.68097号 合成 156,第1期,第1-19页(2007年).MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,Synthese 156,No.1,1--19(2007;Zbl 1120.68097) 全文: 内政部
托马斯·奥戈特内斯 交替时间时序逻辑中的动作和知识。 (英语) Zbl 1107.03013号 合成 149,第2期,375-407(2006). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B44号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯},综合149,第2期,375--407(2006;Zbl 1107.03013) 全文: 内政部
M.卡普扎克。;彭泽克,W。 基于SAT的交替时间认知逻辑无界模型检查方法。 (英语) 兹比尔1072.03012 合成 142,第2期,203-227(2004).MSC公司:03B42号 03B44号 68T27型 03立方厘米35 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kacprzak}和\textit{W.Penczek},综合142,第2期,203-227(2004;Zbl 1072.03012) 全文: 内政部