马克西姆·科尔迪；萨米人拉兹雷格；迈克，帕帕达基斯；Legay、Axel 变量密集型系统的统计模型检查：应用于缺陷检测和最小化。 （英语） Zbl 1522.68305号 正式Asp。计算。 33，第6期，1147-1172（2021）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人，正式Asp。计算。33，编号6，1147--1172（2021；Zbl 1522.68305） 全文： 内政部
马克西姆·科尔迪；迈克，帕帕达基斯；Legay、Axel 变量密集型系统的统计模型检验。 （英语） Zbl 1507.68181号 Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 294-314 (2020).MSC公司：第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人，Lect。票据计算。科学。12076、294--314（2020年；Zbl 1507.68181） 全文： 内政部
阿列克桑达尔·迪莫夫斯基。；Legay、Axel；安德烈·沃索斯基 基于游戏的CTL提升模型检查的广义抽象重新定义。 （英语） Zbl 1460.68058号 西奥。计算。科学。 837, 181-206 (2020)。MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人，Theor。计算。科学。837、181--206（2020年；Zbl 1460.68058） 全文： 内政部
乌里·法伦贝格；Legay、Axel 行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68214号 J.日志。阿尔盖布。方法计划。 110，文章ID 100499，16 p.（2020）。MSC公司：第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，J.Log。阿尔盖布。方法计划。110，文章ID 100499，16 p.（2020；Zbl 1433.68214） 全文： 内政部 arXiv公司
乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 定量规范的组成。 （英语） Zbl 1398.68339号 软计算。 22，第4期，1139-1158（2018）。MSC公司：第68季度第60季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《软计算》。22，第4号，1139--1158（2018；Zbl 1398.68339） 全文： 内政部 arXiv公司
乌里·法伦贝格；Legay、Axel 行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68213号 Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。10139, 49-61 (2017).MSC公司：第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，莱克特。票据计算。科学。10139，49-61（2017；Zbl 1433.68213） 全文： 内政部
乌里·法伦贝格；Legay、Axel 模态转换系统的一般定量规范理论。 （英语） Zbl 1360.68585号 学报信息。 51，第5期，261-295（2014）。MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，《信息学报》51，第5期，261--295（2014；Zbl 1360.68585） 全文： 内政部 哈尔
Nathalie Bertrand；Legay、Axel；苏菲·平奇纳特；Jean-Baptiste Raclet女士 基于定时组件设计的模态事件块规范。 （英语） Zbl 1264.68053号 科学。计算。程序。 77，第12期，1212-1234（2012）。MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，科学。计算。程序。77，第12号，1212--1234（2012；Zbl 1264.68053） 全文： 内政部