多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 用于检查时态逻辑规范和(ω)正则语言的闭包属性的算法方法。 (英语) Zbl 0915.68058号 西奥。计算。科学。 195,第2期,183-203(1998).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人,Theor。计算。科学。195,编号2,183--203(1998;Zbl 0915.68058) 全文: 内政部
多龙·贝利德;托马斯·威尔克 不需要下一时间操作符,就可以表达断断续续的时间属性。 (英语) Zbl 1337.68170号 信息处理。莱特。 63,第5期,243-246(1997).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{T.Wilke},信息处理。莱特。63,第5号,243--246(1997;Zbl 1337.68170) 全文: 内政部
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 用于检查\(\omega \)-正则语言的闭包属性的算法方法。 (英语) Zbl 1514.68109号 Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 596-610 (1996).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人,Lect。注释计算。科学。1119596-610(1996年;Zbl 1514.68109) 全文: 内政部