凯伦·约拉夫;奥尔纳·格隆伯格 保持时序逻辑的状态空间约简的静态分析。 (英语) Zbl 1073.68055号 形式方法系统。设计。 25,第1期,67-96(2004).MSC公司:60年第68季度 68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Yorav}和\textit{O.Grumberg},《形式方法系统》。设计。25,第1号,67--96(2004;Zbl 1073.68055) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;Collomb Annichini,Aurore公司;艾哈迈德·布瓦贾尼;本特·琼森 使用前向可达性分析来验证有损信道系统。 (英语) Zbl 1073.68675号 形式方法系统。设计。 25,第1号,39-65(2004).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《表格方法系统》。设计。25,第1号,39--65(2004;Zbl 1073.68675) 全文: 内政部
Jens Chr.Godskesen。 连接测试。 (英语) Zbl 1073.68531号 形式方法系统。设计。 25,第1期,第5-38页(2004年).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{J.Chr.Godskesen},形式方法系统。设计。25,第1号,第5--38号(2004;Zbl 1073.68531) 全文: 内政部