汉斯·维甘德;Anne H.H.Ngu。 可互操作事务的灵活规范。 (英语) Zbl 0896.68035号 数据知识。工程师。 25,第3号,327-345(1998).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Weigand}和\textit{A.H.H.Ngu},数据知识。工程25,编号3,327--345(1998;Zbl 0896.68035) 全文: 内政部
克劳迪奥·贝蒂尼 时间相关概念:使用时间描述逻辑进行表示和推理。 (英语) 兹伯利0907.68183 数据知识。工程师。 22,第1期,第1-38页(1997年).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bettini},数据知识。工程22,编号1,1-38(1997;Zbl 0907.68183) 全文: 内政部
阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;詹姆·拉莫斯 对象认证的时态逻辑方法(^{\star})。 (英语) Zbl 0875.68788号 数据知识。工程师。 19,第3期,267-294(1996).MSC公司:68T27型 2010年第68季度 68吨15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas}等人,《数据知识》。Eng.19,No.3,267--294(1996;Zbl 0875.68788) 全文: 内政部
斯佳丽·施维德斯基;托尔斯滕·哈特曼;冈特·萨克 在面向行为的对象模型中监视时间前提条件。 (英语) Zbl 0875.68320号 数据知识。工程师。 14,第2期,143-186(1994).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Schwiderski}等人,《数据知识》。工程14,No.2,143--186(1994;Zbl 0875.68320) 全文: 内政部