帕特里夏·鲍耶;埃德·布林克斯马;Larsen,Kim G。 多值时间自动机的最优无限调度。 (英语) Zbl 1133.68360号 形式方法系统。设计。 32,第1号,3-23(2008).MSC公司:65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《形式方法系统》。设计。32,编号1,3--23(2008年;兹bl 1133.68360) 全文: 内政部 链接
帕特里夏·鲍耶;托马斯·布里海耶;布鲁耶尔,Véronique;Jean-François拉斯金 关于加权时间自动机的最优可达性问题。 (英语) 兹比尔1129.68039 形式方法系统。设计。 31,第2期,135-175(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《形式方法系统》。设计。31,第2号,135--175(2007;Zbl 1129.68039) 全文: 内政部 链接
帕特里夏·鲍耶 可更新时间自动机的正向分析。 (英语) 兹比尔1073.68041 形式方法系统。设计。 24,第3期,281-320(2004).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer},形式方法系统。设计。24,第3号,281--320(2004;Zbl 1073.68041) 全文: 内政部