拉杰夫·阿鲁尔;多龙·贝利德 偏序逻辑的不确定性。 (英语) 兹比尔1338.68165 信息处理。莱特。 69,第3期,137-143(1999).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Peled},Inf.过程。莱特。69,第3号,137--143(1999;Zbl 1338.68165) 全文: 内政部 链接
多龙·贝利德;托马斯·威尔克 不需要下一时间操作符,就可以表达断断续续的时间属性。 (英语) 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) 全文: 内政部