德弗朗西斯科,N。;A.范特奇。;格内西,S。;因弗拉迪,P。 模型检查非有限状态过程的有限近似。 (英语) Zbl 0982.68095号 计算。J。 44,第2期,109-123(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.De Francesco}等人,计算。J.44,第2109-123号(2001年;Zbl 0982.680.95) 全文: 内政部
博多里克,P。;朱特拉,D。 多视图内存支持操作系统锁定事务和数据库系统。 (英语) Zbl 0906.68031号 计算。J。 41,第2期,84-97(1998年).MSC公司:68N25号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Bodorik}和\textit{D.Jutla},计算。J.41,No.2,84--97(1998;Zbl 0906.68031) 全文: 内政部 链接