尤尔根·鲁夫;托马斯·克罗普夫 离散时间系统的符号验证和分析。 (英语) Zbl 1065.68070号 形式方法系统。设计。 23,第1期,67-108(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ruf}和\textit{T.Kropf},表格方法系统。设计。23,第1号,67--108(2003;Zbl 1065.68070) 全文: 内政部
杰森·鲍姆加特纳;泰米尔·海曼;Vigyan Singhal公司;阿德南·阿齐兹 一种用于验证基于锁存的级别敏感网表的抽象算法。 (英语) Zbl 1065.68068号 形式方法系统。设计。 23,第1号,39-65(2003).MSC公司:60年第68季度 68米15 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{J.Baumgartner}等人,《形式方法系统》。设计。23,第1号,第39-65页(2003年;Zbl 1065.68068) 全文: 内政部
珍妮特,B。 线性关系分析中的动态划分:应用于反应系统的验证。 (英语) Zbl 1067.68091号 形式方法系统。设计。 23,第1期,5-37(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jeannet},表格。方法系统。设计。23、第1号、第5--37号(2003;Zbl 1067.68091) 全文: 内政部