贝纳姆萨塔扎德;Mehran S·法拉。 在存在受损主体的情况下,对注入协议进行基于类型的自动分析。 (英语) Zbl 1337.68193号 J.日志。阿尔盖布。方法计划。 84,第5期,576-610(2015).MSC公司:68问题85 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Sattarzadeh}和\textit{M.S.Fallah},J.Log。阿尔盖布。方法计划。84,第5号,576--610(2015;Zbl 1337.68193) 全文: 内政部
伊内斯·玛格丽亚;马达莱娜·扎基 移动环境结石中的访问控制:一种比较观点。 (英语) Zbl 1146.68021号 西奥。计算。科学。 398,编号1-3,183-202(2008).MSC公司:64岁以下 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{I.Margaria}和\textit{M.Zacchi},Theor。计算。科学。398,编号1-3183-202(2008年;兹bl 1146.68021) 全文: 内政部