弗朗西丝卡·列维 装箱到安全环境中的键入编码。 (英语) Zbl 1089.68021号 学报信息。 42,编号6-7,429-500(2006).MSC公司:68M10个 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi},Acta Inf.42,No.6--7,429--500(2006;Zbl 1089.68021) 全文: 内政部
弗朗西丝卡·列维;塞尔吉奥·马菲斯 关于移动环境的抽象解释。 (英语) Zbl 1078.68096号 Inf.计算。 188,第2期,179-240(2004).MSC公司:68问题55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}和\textit{S.Maffeis},信息计算。188,第2号,179--240(2004;Zbl 1078.68096) 全文: 内政部