拉杰夫·阿鲁尔;麦克米兰,肯;多龙·贝利德 并发对象正确性条件的模型检查。 (英语) 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) 全文: 内政部 链接
阿鲁尔,R。;A.伊泰。;库尔山,R.P。;亚纳卡基斯,M。 通过逐次逼近进行计时验证。 (英语) Zbl 0939.68705号 Inf.计算。 118,第1期,142-157(1995).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《信息计算》。118,第1号,142--157(1995;Zbl 0939.68705) 全文: 内政部
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 实时逻辑:复杂性和表达性。 (英语) Zbl 0791.68103号 Inf.计算。 104,第1号,35-77(1993). 审核人:S.Miura(冈崎/爱知) MSC公司:60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{T.A.Henzinger},Inf.Compute。104,编号1,35--77(1993;Zbl 0791.68103) 全文: 内政部 链接
拉杰夫·阿鲁尔;科斯塔斯·库库贝蒂斯;大卫·迪尔 密集实时模型检查。 (英语) Zbl 0783.68076号 Inf.计算。 104,第1期,第2-34页(1993年). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:60年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《信息计算》。104,编号1,2--34(1993;Zbl 0783.68076) 全文: 内政部 链接