奥尔德罗格（Ernst-Rüdiger Olderog）;伯恩哈德·斯特芬;易、王 模型检查、综合和学习。 （英语） Zbl 1522.68339号 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).MSC公司：60年第68季度 68问题32 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1--7（2022；Zbl 1522.68339） 全文： 内政部
马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 关于时间形式中时钟的初始化。 （英语） Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司：03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人，Theor。计算。科学。813175-198（2020年；Zbl 1433.03048） 全文： 内政部 链接
尼玛·鲁希;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦 时钟漂移下时间自动机的鲁棒模型检验。 （英语） Zbl 1366.68152号 第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，美国宾夕法尼亚州匹兹堡，2017年4月18日至20日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。153-162（2017年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。153-162（2017年；Zbl 1366.68152） 全文： 内政部
尼古拉斯·巴塞特 在正则类中计算和生成置换。 （英语） 兹比尔1352.05005 算法 76，第4期，989-1034（2016）.MSC公司：05年05月05日 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}，Algorithmica 76，No.4，989--1034（2016；Zbl 1352.05005） 全文： 内政部
Waez，Md Tawhid Bin;朱尔根·丁格尔;鲁迪、凯伦 实时系统开发中的时间自动机综述。 （英语） Zbl 1302.68180号 计算。科学。版次。 9, 1-26 (2013).MSC公司：65年第68季度 第68季度55 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.T.B.Waez}等人，计算。科学。修订版9，1-26（2013年；兹bl 1302.68180） 全文： 内政部
尤金·亚萨林;尼古拉斯·巴塞特;奥尔德里克·德戈尔 时间自动机中的谱间隙。 （英语） Zbl 1390.68372号 Braberman，Víctor（编辑）等人，《定时系统的形式化建模和分析》。2013年8月29日至31日，阿根廷布宜诺斯艾利斯，第11届国际会议，FORMATS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40228-9/pbk）。计算机科学课堂讲稿8053，16-30（2013）。MSC公司：65年第68季度 47A10号 47B65个 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，Lect。注释计算。科学。8053，16-30（2013；Zbl 1390.68372） 全文： 内政部 哈尔
奥利维尔·芬克尔 关于时间自动机的不确定问题。 （英语） Zbl 1141.68433号 Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学讲义4202187-199（2006）。MSC公司：65年第68季度 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}，莱克特。注释计算。科学。4202187-199（2006年；Zbl 1141.68433） 全文： 内政部 arXiv公司
杰罗姆·杜兰·洛斯 可分割信号的Kleene定理。 （英语） Zbl 1178.68311号 信息处理。莱特。 89，第5号，237-245（2004年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Durand-Lose}，Inf.过程。莱特。89，第5号，237--245（2004；Zbl 1178.68311） 全文： 内政部
柯特林·迪马 关于由逆幺半群态射定义的定时正则语言。 （英语） Zbl 1113.68062号 蒂米大学。，序列号。材料-通知。 42，规范发行。二、 63-77（2004）. 审核人：马格努斯·斯坦比（图尔库） MSC公司：65年第68季度 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}，蒂米大学。，序列号。材料-通知。42、63——77（2004年；Zbl 1113.68062）
米歇尔·阿德拉伊德;克莱尔·佩吉蒂 关于紧迫性表达。 （英语） Zbl 1117.68390号 Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328，71-83（2004）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Adélaïde｝和\textit｛C.Pagetti｝，Lect。注释计算。科学。3328、71--83（2004年；Zbl 1117.68390） 全文： 内政部
阿卜杜拉齐兹·费拉;卡玛·哈丁 时间交替有限自动机的语言方程。 （英语） Zbl 1087.68570号 国际期刊计算。数学。 80，第9期，1075-1091（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Fellah}和\textit{C.Harding}，国际计算机杂志。数学。80，第9号，1075--1091（2003；Zbl 1087.68570） 全文： 内政部
柯特林·迪马 实时语言的自动机和正则表达式。 （英语） Zbl 1006.68065号 出版物。数学。碎片。 60，第3-4、523-538号（2002年）.MSC公司：65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}，出版物。数学。碎片。60，编号3--4，523--538（2002；Zbl 1006.68065）