拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 决定全局偏序属性。 (英语) Zbl 1075.68050号 形式方法系统。设计。 26,第1期,7-25(2005).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。26,第1号,第7--25号(2005;Zbl 1075.68050) 全文: 内政部 链接
拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 并发对象正确性条件的模型检查。 (英语) Zbl 1003.68067号 Inf.计算。 160,编号1-2,167-188(2000).MSC公司:60年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《信息计算》。160,编号1--2,167--188(2000;Zbl 1003.68067) 全文: 内政部 链接