莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 实时系统的一致性测试。 (英语) Zbl 1180.68072号 表格方法系统。设计。 34,第3期,238-304(2009).MSC公司:68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Krichen}和\textit{S.Tripakis},《形式方法系统》。设计。34,第3号,238--304(2009;Zbl 1180.68072) 全文: 内政部
保罗·加斯廷;纳塔利·斯兹纳杰德;马克·泽顿 用于连接良好的体系结构的分布式合成。 (英语) Zbl 1180.68056号 表格方法系统。设计。 34,第3期,215-237(2009).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人,《形式方法系统》。设计。34,编号3215-237(2009年;兹bl 1180.68056) 全文: 内政部 哈尔