拉鲁西尼,F。;Schnoebelen博士。;图鲁阿尼,M。 定量分支时间时序逻辑的表达性和复杂性。 (英语) 兹伯利1019.03012 西奥。计算。科学。 297,编号1-3,297-315(2003).MSC公司:03B44号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人,Theor。计算。科学。297,编号1-3297-315(2003年;兹bl 1019.03012) 全文: 内政部
拉鲁西尼,F。;Schnoebelen博士。 CTL+过去用于CTL验证的规范。 (英语) Zbl 1046.68599号 Inf.计算。 156,编号1-2,236-263(2000).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{Ph.Schnoebelen},Inf.Compute。156,编号1--2,236--263(2000;Zbl 1046.68599) 全文: 内政部
拉鲁西尼,F。;Schnoebelen,哲学博士 时间逻辑与过去的层次结构。 (英语) 兹比尔0873.68068 西奥。计算。科学。 148,第2期,303-324(1995).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{P.Schnoebelen},Theor。计算。科学。148,编号2,303--324(1995;Zbl 0873.68068) 全文: 内政部