玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 使用数字时钟的概率时间自动机性能分析。 (英语) Zbl 1105.68063号 形式方法系统。设计。 29,第1期,33-78(2006).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《形式方法系统》。设计。29,第1号,第33--78条(2006;Zbl 1105.68063) 全文: 内政部 链接
Wan Fokkink公司;庞、军;范德波尔(Jaco van de Pol) 锥和焦点:协议验证的机械框架。 (英语) Zbl 1103.68652号 形式方法系统。设计。 29,第1期,1-31页(2006年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《形式方法系统》。设计。29,第1号,1--31(2006;Zbl 1103.68652) 全文: 内政部
J.I.拉斯穆森。;拉森,K.G。;苏布拉马尼,K。 利用定价时间自动机实现最优调度。 (英语) Zbl 1105.68011号 形式方法系统。设计。 29,第1期,97-114(2006).MSC公司:68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Rasmussen}等人,《形式方法系统》。设计。29,第1号,97--114(2006;Zbl 1105.68011) 全文: 内政部
北卡罗来纳州Halbwachs。;D.默沙特。;L·贡诺德。 在多面体计算中减少空间维数的一些方法。 (英语) Zbl 1105.68107号 形式方法系统。设计。 29,第1期,79-95(2006).MSC公司:68单位05 PDF格式BibTeX公司 XML格式引用 \textit{N.Halbwachs}等人,《形式方法系统》。设计。29,第1号,79--95(2006;Zbl 1105.68107) 全文: 内政部 哈尔