米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚 安全协议的符号分析方法。 (英语) Zbl 1068.94009号 西奥。计算。科学。 338,编号1-3,393-425(2005).MSC公司:94A60型 68个M12 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{M.G.Buscemi},Theor。计算。科学。338,编号1--3393--425(2005;Zbl 1068.94009) 全文: 内政部
安东尼奥·布埃诺;瓦伦蒂安·瓦莱罗;费尔南多·库亚特罗 \(\text的翻译{第三方评估}_{p} \)转化为一类定时概率Petri网。 (英语) Zbl 1068.68092号 西奥。计算。科学。 338,编号1-3,350-392(2005).MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bueno}等人,Theor。计算。科学。338,编号1--3,350-392(2005;Zbl 1068.68092) 全文: 内政部
安德烈·穆拉夫斯基。 具有局部状态的函数:正则性和不确定性。 (英语) Zbl 1108.68076号 西奥。计算。科学。 338,编号1-3,315-349(2005).MSC公司:第68季度第60季度 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.穆拉夫斯基},Theor。计算。科学。338,编号1--3,315--349(2005;Zbl 1108.68076) 全文: 内政部 链接
卡斯滕·弗里茨;托马斯·威尔克 交替Büchi自动机的模拟关系。 (英语) Zbl 1078.68082号 西奥。计算。科学。 338,编号1-3,275-314(2005). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:65年第68季度 05年3月 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fritz}和\textit{T.Wilke},Theor。计算。科学。338,编号1--3,275--314(2005;Zbl 1078.68082) 全文: 内政部
亚尼克·骑士;拉尔夫·库斯特斯;米歇尔·鲁西诺维奇;马修·图鲁阿尼 用XOR解决协议不安全问题的NP决策过程。 (英语) Zbl 1068.68057号 西奥。计算。科学。 338,编号1-3,247-274(2005).MSC公司:68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}等人,Theor。计算。科学。338,编号1--3,247--274(2005;Zbl 1068.68057) 全文: 内政部 链接
Mircea-Dan赫内斯特;乌尔里奇·科伦巴赫 功能解释的复杂性分析。 (英语) Zbl 1096.03071号 西奥。计算。科学。 338,编号1-3,200-246(2005). 审核人:M.Yasuhara(普林斯顿) MSC公司:20层03 35楼03号 2010年1月3日 65年第68季度 第68季度第60季度 68号30 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest}和\textit{U.Kohlenbach},Theor。计算。科学。338,编号1--3,200-246(2005;Zbl 1096.03071) 全文: 内政部
詹姆斯·沃雷尔 关于有限集函子的最后序列。 (英语) Zbl 1070.18004号 西奥。计算。科学。 338,第1-3号,184-199(2005). 审核人:保罗·班克斯顿(密尔沃基) MSC公司:18日第15天 18英镑05 68问题65 03E75型 PDF格式BibTeX公司 XML格式引用 \textit{J.沃雷尔},Theor。计算。科学。338,编号1--3,184-199(2005;Zbl 1070.18004) 全文: 内政部
科马克·弗拉纳根;斯蒂芬·弗伦德(Stephen N.Freund)。;沙兹·卡迪尔;Sanjit A.Seshia。 多线程程序的模块化验证。 (英语) Zbl 1108.68080号 西奥。计算。科学。 338,编号1-3,153-183(2005).MSC公司:68问题85 68号30 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}等人,Theor。计算。科学。338,编号1--3,153-183(2005;Zbl 1108.68080) 全文: 内政部 链接
恰基萨卡马 排序默认理论和非单调逻辑程序。 (英语) Zbl 1076.68075号 西奥。计算。科学。 338,编号1-3127-152(2005). 审核人:弗拉基米尔·科门丹茨基(科克) MSC公司:68T27型 68N17号 03B50 03B60号 PDF格式BibTeX公司 XML格式引用 \文本{C.Sakama},Theor。计算。科学。338,编号1--3,127-152(2005;Zbl 1076.68075) 全文: 内政部
伏玉溪 关于准开放的相互刺激。 (英语) Zbl 1077.68060号 西奥。计算。科学。 338,编号1-3,96-126(2005). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \Theor,textit{Y.Fu}。计算。科学。338,编号1--3,96-126(2005;Zbl 1077.68060) 全文: 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 通过\(\mu\)-演算对互模拟量词进行公理化。 (英语) 兹比尔1080.68078 西奥。计算。科学。 338,编号1-3,64-95(2005). 审核人:弗拉基米尔·科门丹茨基(科克) MSC公司:68问题85 第68季度第60季度 03B45号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},Theor。计算。科学。338,编号1--3,64-95(2005;Zbl 1080.68078) 全文: 内政部
阿兰·杰弗里;朱利安·拉特克 完全抽象可以测试并发对象的语义。 (英语) Zbl 1078.68107号 西奥。计算。科学。 338,编号1-3,17-63(2005). 审核人:Krassimir Atanassov(索非亚) MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Rathke},Theor。计算。科学。338,编号1--3,17-63(2005;Zbl 1078.68107) 全文: 内政部
Andrzej M.Borzyszkowski。;菲利普·达伦多 没有过渡的过渡系统。 (英语) Zbl 1078.68105号 西奥。计算。科学。 338,编号1-3,1-16(2005). 审核人:Krassimir Atanassov(索非亚) MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Borzyszkowski}和\textit{P.Darondeau},Theor。计算。科学。338,编号1--3,1--16(2005;Zbl 1078.68105) 全文: 内政部