牧场克利夫兰;泽恩·达亚尔;斯科特·斯莫尔卡。;袁,Shoji 测试概率过程的预订单。 (英语) Zbl 1045.68564号 Inf.计算。 154,第2期,第93-148页(1999年).MSC公司:第68季度10 60J10型 94A05级 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人,《信息计算》。154,第2号,93--148(1999;Zbl 1045.68564) 全文: 内政部
牧场克利夫兰;Steffen,伯恩哈德 无交互模态微积分的线性时间模型检测算法。 (英语) Zbl 0772.68038号 形式方法系统。设计。 2,第2期,121-147(1993).MSC公司:第68季度10 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.克利夫兰}和\textit{B.Steffen},《形式方法系统》。设计。2,第2号,121--147(1993;Zbl 0772.68038) 全文: 内政部
牧场克利夫兰;Steffen,伯恩哈德 逻辑地计算行为关系。 (英语) Zbl 0769.68024号 自动化、语言和编程、Proc。第18国际学院,马德里/西班牙,1991年,法律。注释计算。科学。510, 127-138 (1991).MSC公司:第68季度10 03B45号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{B.Steffen},莱克特。注释计算。科学。510127--138(1991年;Zbl 0769.68024)