阿克西,S。;博利格,贝内迪克特;保罗·加斯丁 事件时钟消息传递自动机:逻辑特征和空性检查算法。 (英语) 兹比尔1291.68239 形式方法系统。设计。 第342262-300号(2013年).MSC公司:60年第68季度 65年第68季度 03B70号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,《形式方法系统》。设计。42,第3号,262--300(2013;Zbl 1291.68239) 全文: 内政部
保罗·加斯丁;Nathalie Sznajder女士;马克·泽顿 用于连接良好的体系结构的分布式合成。 (英语) Zbl 1180.68056号 形式方法系统。设计。 34,第3期,215-237(2009).MSC公司:68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人,《形式方法系统》。设计。34,第3号,215--237(2009;Zbl 1180.68056) 全文: 内政部 哈尔
贝拉德,贝特里奇;保罗·加斯丁;安托万·佩蒂特 常规信号事件语言的定时替换。 (英语) Zbl 1129.68038号 形式方法系统。设计。 31,第2期,101-134(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。31,第2号,101--134(2007;Zbl 1129.68038) 全文: 内政部