安藤萨巴斯;塔尔莫乌斯塔卢 类型系统的程序和验证优化。 (英语) Zbl 1151.68008号 J.日志。阿尔盖布。程序。 77,编号1-2131-154(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Saabas}和\textit{T.Uustalu},J.Log。阿尔盖布。程序。77,编号1--2,131-154(2008;Zbl 1151.68008) 全文: 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 BioAmbients的路径分析。 (英语) Zbl 1147.92002号 J.日志。阿尔盖布。程序。 77,编号1-2,92-130(2008).MSC公司:92B05型 第68季度10 68问题85 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人,J.Log。阿尔盖布。程序。77,编号1--2,92-130(2008;Zbl 1147.92002) 全文: 内政部
西蒙·克莱默 加密协议逻辑:满足(定时)Dolev-Yao加密。 (英语) Zbl 1151.94012号 J.日志。阿尔盖布。程序。 77,编号1-2,60-91(2008).MSC公司:94A60型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer},J.Log。阿尔盖布。程序。77,编号1--2,60-91(2008;Zbl 1151.94012) 全文: 内政部
埃纳尔·布罗赫·约翰森;Yu,Ingrid Chieh女士 异步方法调用的向后类型分析。 (英语) Zbl 1151.68006号 J.日志。阿尔盖布。程序。 77,编号1-2,40-59(2008).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}和\textit{I.C.Yu},J.Log。阿尔盖布。程序。77,编号1--2,40-59(2008;Zbl 1151.68006) 全文: 内政部
H·费彻。;施密特,H。 将析取模态转换系统与单选变量进行比较。 (英语) Zbl 1151.68035号 J.日志。阿尔盖布。程序。 77,编号1-2,20-39(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}和\textit{H.Schmidt},J.Log。阿尔盖布。程序。77,编号1--2,20-39(2008;Zbl 1151.68035) 全文: 内政部
布雷克林,阿斯克;迈克尔·汉森。;简·马德森 多处理器系统的模型和形式验证。 (英语) Zbl 1151.68339号 J.日志。阿尔盖布。程序。 77,编号1-2,1-19(2008).MSC公司:68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Brekling}等人,J.Log。阿尔盖布。程序。77,第1-2,1-19号(2008年;兹bl 1151.68339) 全文: 内政部