拜格，乔金；莫滕·雅各布森；雅各布森，拉塞；约根森、肯尼思·伊尔克；米凯尔·哈克杰·默勒；吉·斯尔巴 TCTL提供从时间弧Petri网到时间自动机网络的转换。 （英语） Zbl 1359.68216号 西奥。计算。科学。 537, 3-28 (2014).MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人，Theor。计算。科学。537，3--28（2014；Zbl 1359.68216） 全文： 内政部
王法恩 基于时间凸性分析的稠密时间系统的高效模型检验。 （英语） Zbl 1279.68222号 西奥。计算。科学。 467, 89-108 (2013).MSC公司：60年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{F.Wang}，Theor。计算。科学。467，89--108（2013；Zbl 1279.68222） 全文： 内政部
哈尼法·布切内布；纪尧姆·加迪；奥利维尔·H·鲁克斯。 时间Petri网的TCTL模型检验。 （英语） Zbl 1188.68182号 J.日志。计算。 19，第6期，1509-1540（2009）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛H.Boucheneb｝等人，J.日志。计算。19，第6号，1509-1540（2009；Zbl 1188.68182） 全文： 内政部 哈尔
拉希德·哈吉吉；哈尼法·布切内布 时间Petri网的即时（TCTL）模型检查。 （英语） Zbl 1186.68292号 西奥。计算。科学。 410，第42号，4241-4261（2009）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hadjidj}和\textit{H.Boucheneb}，Theor。计算。科学。410，编号42，4241--4261（2009；Zbl 1186.68292） 全文： 内政部
王法恩 符号分支互模拟——环境中密集时间系统的检查。 （英语） Zbl 1237.68127号 Majumdar，Rupak（编辑）等人，《混合系统：计算与控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00601-2/pbk）。计算机科学课堂讲稿5469485-489（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，莱克特。注释计算。科学。5469、485--489（2009年；Zbl 1237.68127） 全文： 内政部
王法恩 具有凹路径条件的稠密时间自动机的时程估计。 （英语） Zbl 1183.68384号 Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311258-273（2008）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，莱克特。注释计算。科学。5311、258--273（2008年；Zbl 1183.68384） 全文： 内政部
王法恩；黄耿典；于、方 密集时间系统的TCTL必然性分析。 （英语） Zbl 1279.68223号 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003，第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40561-5/pbk）。莱克特。注释计算。科学。2759, 176-187 (2003).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}等人，Lect。注释计算。科学。2759176-187（2003年；Zbl 1279.68223） 全文： 内政部 arXiv公司
L’Her，D。；帕尔克，P.L。；马凯，L。 使用时间自动机证明顺序功能图程序。 （英语） Zbl 0984.68101号 西奥。计算。科学。 267，编号1-2，141-155（2001）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L'Her}等人，Theor。计算。科学。267，第1-2141-155号（2001年；Zbl 0984.68101） 全文： 内政部
王法恩 实时系统的参数定时分析。 （英语） Zbl 0872.68041号 Inf.计算。 130，第2期，131-150（1996）.MSC公司：第68季度10 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，Inf.计算。130，第2号，131--150（1996；Zbl 0872.68041） 全文： 内政部 链接
奥利维尔·鲁克斯；弗拉德·鲁苏 混合自动机可判定性的一致性。 （英语） Zbl 1482.68127号 Cousot，Radhia（编辑）等人，《静态分析》。1996年9月24日至26日，第三届国际研讨会，SAS’96，德国亚琛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1145, 301-316 (1996).MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Roux}和\textit{V.Rusu}，莱克特。注释计算。科学。1145301--316（1996年；Zbl 1482.68127） 全文： 内政部