Jean-Pierre塔宾;保罗·勒格尔尼克 系统设计中行为建模和协议综合的代数理论。 (英语) Zbl 1099.68501号 形式方法系统。设计。 28,第2期,131-151(2006).MSC公司:2007年7月68日 68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}和\textit{P.Le Guernic},《形式方法系统》。设计。28,No.2,131--151(2006;Zbl 1099.68501) 全文: 内政部
杜米特鲁·波托普·布图卡鲁;贝诺·凯劳德;阿尔伯特·本文尼斯特 同步系统中的并发。 (英语) Zbl 1100.68004号 形式方法系统。设计。 28,第2期,111-130(2006).MSC公司:68米14 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{D.Potop-Butucaru}等人,《形式方法系统》。设计。28,第2号,111--130(2006;Zbl 1100.68004) 全文: 内政部 链接
乌里·弗兰克;察希·卡普希茨;吉诺萨尔,兰 周期时钟域的预测同步器。 (英语) Zbl 1099.68654号 形式方法系统。设计。 28,第2期,171-186(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Frank}等人,《形式方法系统》。设计。28,第2号,171--186(2006;Zbl 1099.68654) 全文: 内政部
卢卡·卡洛尼(Luca P.Carloni)。;Alberto L.Sangiovanni-Vincentelli。 同步设计的分布式部署建模框架。 (英语) Zbl 1099.68524号 形式方法系统。设计。 28,第2期,93-110(2006).MSC公司:68米14 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Carloni}和\textit{A.L.Sangiovanni-Vincentelli},《形式与方法系统》。设计。28,第2号,93--110(2006;Zbl 1099.68524) 全文: 内政部
查克拉波蒂,苏普拉特克;乔伊斯·梅基;Dinesh K.夏尔马。 GALS系统中同步的推理。 (英语) Zbl 1099.68540号 形式方法系统。设计。 28,第2期,153-169(2006).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人,《形式方法系统》。设计。28,第2153-169号(2006年;兹bl 1099.68540) 全文: 内政部