贝内维提斯,亚历山德博蒂;吉安卡洛·吉扎迪;贝纳多·费雷拉·巴斯托斯·布拉加;阿尔梅达,若奥·保罗·安德拉德 使用自动生成的视觉世界结构验证OntoUML概念模型的模态方面。 (英语) Zbl 1216.68280号 加州大学洛杉矶分校 16,第20号,2904-2933(2010).MSC公司:68立方英尺 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Benevides}等人,J.UCS 16,No.20,2904--2933(2010;Zbl 1216.68280) 全文: 链接
斯里尼·纳拉亚南;希拉·麦克拉伊思 Web服务的分析和模拟。 (英语) Zbl 1059.68517号 计算。Netw公司。 42,第5期,675-693(2003).MSC公司:68M10个 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{S.Narayanan}和\textit{S.McIlraith},计算。Netw公司。42,编号5675-693(2003年;兹bl 1059.68517) 全文: 内政部
路易吉·波尔蒂纳 使用Petri网验证因果模型。 (英语) Zbl 0794.68152号 《国际情报杂志》。系统。 7,第8期,715-742(1992).MSC公司:68立方英尺 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Portinale},《国际情报杂志》。系统。7,第8号,715--742(1992;Zbl 0794.68152) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆 分布式环境中的知识和常识。 (英语) Zbl 0699.68115号 J.协会计算。机器。 37,第3号,549-587(1990).MSC公司:68T99型 68N25号 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{Y.Moses},J.Assoc.Compute。机器。37,第3号,549--587(1990;Zbl 0699.68115) 全文: 内政部 arXiv公司