埃蒂安·安德烈；罗曼·苏拉特 合成满足安全特性的定时参数。 （英语） Zbl 1348.68117号 Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，31-44（2011）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{R.Soulat}，莱克特。票据计算。科学。6945，31-44（2011；Zbl 1348.68117） 全文： 内政部
埃蒂安·安德烈；托马斯·查泰恩；劳伦·弗里堡；埃曼纽尔·恩克雷纳兹 参数时间自动机的一种逆方法。 （英语） Zbl 1337.68150号 Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223，29-46（2008）。MSC公司：65年第68季度 60年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《电子》。注释Theor。计算。科学。223、29-46（2008年；Zbl 1337.68150） 全文： 内政部