弗洛里安·布鲁斯；马丁·兰格 定时递归CTL的尾部递归片段。 （英语） Zbl 07742415号 Inf.计算。 294，文章ID 105084，第18页（2023）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛F.Bruse｝和\textit｛M.Lange｝，信息计算。294，文章ID 105084，18 p.（2023；Zbl 07742415） 全文： 内政部
阿夫尼，盖伊；什巴希斯·古哈；奥尔纳·库普弗曼 定时网络游戏。 （英语） Zbl 07641115号 Inf.计算。 290，文章ID 104996，27 p.（2023）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人，《信息计算》。290，文章ID 104996，27 p.（2023；Zbl 07641115） 全文： 内政部
帕特里夏·鲍耶；弗兰克·卡塞兹；拉鲁西尼，弗朗索瓦 实时系统的定时模态逻辑。规范、验证和控制。 （英语） Zbl 1216.68158号 J.逻辑语言信息。 20，第2期，169-203（2011）.MSC公司：60年第68季度 03B45 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，J.Logic Lang.Inf.20，No.2，169--203（2011；Zbl 1216.68158） 全文： 内政部
吉·斯尔巴 比较时间自动机和Petri网时间扩展的表达能力。 （英语） Zbl 1171.68579号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。《计算机科学讲义》5215，15-32（2008）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Srba}，莱克特。票据计算。科学。5215，15--32（2008；Zbl 1171.68579） 全文： 内政部
贝拉德，B。；卡塞兹，F。；哈达德，S。；石灰，D。；O.H.罗克斯。 时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68029号 西奥。计算。科学。 403，编号2-3，202-220（2008）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，Theor。计算。科学。403，编号2--3，202-220（2008；Zbl 1158.68029） 全文： 内政部
拉鲁西尼，弗朗索瓦；杰里米·斯普洛斯顿 状态爆炸几乎是概率可达的。 （英语） Zbl 1184.68318号 信息处理。莱特。 102，第6号，236-241（2007）.MSC公司：65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{J.Sproston}，Inf.过程。莱特。102，No.6，236--241（2007；Zbl 1184.68318） 全文： 内政部
拉鲁西尼，F。；马基，N。；Schnoebelen博士。 离散时间系统的有效定时模型检验。 （英语） Zbl 1088.68107号 西奥。计算。科学。 353，编号1-3，249-271（2006）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，Theor。计算。科学。353，编号1--3，249--271（2006；Zbl 1088.68107） 全文： 内政部 哈尔
拉鲁西尼，F。；Schnoebelen博士。；M.图鲁阿尼。 定量分支时间时序逻辑的表达性和复杂性。 （英语） Zbl 1019.03012号 西奥。计算。科学。 297，编号1-3，297-315（2003）.MSC公司：03B44号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，Theor。计算。科学。297，编号1--3，297--315（2003；Zbl 1019.03012） 全文： 内政部
卢卡·埃特罗；帕特里夏·鲍耶；奥古斯托·布尔古埃诺；Larsen，Kim G。 时间自动机可达性测试的威力。 （英语） Zbl 1023.68060号 西奥。计算。科学。 300，编号1-3，411-475（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。300，编号1--3，411--475（2003；Zbl 1023.68060） 全文： 内政部