巴哈雷赫巴德班;范德波尔(Jaco van de Pol) BDD中的零、继承和平等。 (英文) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03B20型 03B25号 03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.Pure Appl。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
尤尔根·鲁夫;托马斯·克罗普夫 离散时间系统的符号验证和分析。 (英文) 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年;兹bl 1065.68070) 全文: 内政部