法比奥·帕特诺;卡门·桑托罗 支持通过人机交互设计者的表示对交互系统进行推理。 (英语) Zbl 1031.68027号 计算机杂志 46,第4期,340-357(2003).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Paternó}和\textit{C.Santoro},计算。J.46,第4号,340-357(2003;Zbl 1031.68027) 全文: 内政部 链接
朱塞佩·阿纳斯塔西;阿尔贝托·巴托利;尼科莱塔·德·弗朗西斯科;安东内拉·桑顿 移动计算组播协议的有效验证。 (英语) Zbl 0983.68123号 计算。J。 44,第1期,21-30(2001).MSC公司:68问题65 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{G.Anastasi}等人,《计算》。J.44,第1号,第21--30号(2001;Zbl 0983.68123) 全文: 内政部
克里斯蒂娜·瑟纳达斯;卡拉普萨,R。 概念建模抽象在编译器开发中的作用。 (英语) Zbl 0653.68081号 计算。J。 30, 328-336 (1987).MSC公司:第68季度55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}和\textit{R.Carapuça},计算。J.30,328--336(1987;Zbl 0653.68081) 全文: 内政部
D.格雷。 教学验证条件生成器。 (英语) 兹比尔0615.68017 计算。J。 30, 239-248 (1987). 审核人:D.灰色 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gray},计算。J.30239-248(1987年;兹bl 0615.68017) 全文: 内政部