爱奥华纳州布尔亚努;米卡·科恩;阿莱西奥·洛穆西奥 密码协议时间认知属性的自动验证。 (英语) 兹比尔1186.68105 J.应用。非类别。日志。 19,第4期,463-487(2009).MSC公司:68N20型 60年第68季度 94A60型 94A62型 68第25页 PDF格式BibTeX公司 XML格式引用 \文本{I.Boureanu}等人,J.Appl。非类别。日志。19,第4号,463--487(2009;Zbl 1186.68105) 全文: 内政部
米卡·科恩;达姆,麦兹;阿莱西奥·洛穆西奥;曲洪阳 时间认知逻辑的数据对称约简技术。 (英语) Zbl 1262.68110号 刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799,69-83(2009)。MSC公司:60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Cohen}等人,Lect。注释计算。科学。5799、69-83(2009年;Zbl 1262.68110) 全文: 内政部