王法恩 基于时间凸性分析的稠密时间系统的高效模型检验。 （英语） Zbl 1279.68222号 西奥。计算。科学。 467, 89-108 (2013).MSC公司：60年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{F.Wang}，Theor。计算。科学。467，89-108（2013年；兹bl 1279.68222） 全文： DOI程序
王法恩 符号分支互模拟——环境中密集时间系统的检查。 （英语） 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） 全文： DOI程序
王法恩 具有凹路径条件的稠密时间自动机的时程估计。 （英语） Zbl 1183.68384号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（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） 全文： DOI程序
王法恩 密集时间自动机的符号模拟检验。 （英语） Zbl 1141.68441号 Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763352-368（2007）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，莱克特。注释计算。科学。4763、352--368（2007年；Zbl 1141.68441） 全文： DOI程序
王法恩 使用类BDD数据结构对时间自动机进行有效验证。 （英语） Zbl 1022.68586号 Zuck，Leonore D.（编辑）等人，《验证、模型检查和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2575, 189-205 (2003).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，莱克特。注释计算。科学。2575189-205（2003；Zbl 1022.68586） 全文： 链接