罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克 分支时间逻辑模型检查的部分顺序方法。 （英语） Zbl 1045.68588号 Inf.计算。 150，第2期，第132-152页（1999年）.MSC公司：60年第68季度 03B44号 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gerth}等人，《信息计算》。150，第2132-152号（1999年；兹bl 1045.68588） 全文： DOI程序 链接
Kwiatkowska，M。;D.贝利德。;彭泽克，W。 部分顺序时间属性的层次结构。 （英语） Zbl 0949.68537号 Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).MSC公司：60年第68季度 68问题55 03B44号 65年第68季度 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，Lect。注释计算。科学。827398-414（1994年；Zbl 0949.68537）