阿鲁尔,R。;布雷顿,R.K。;亨廷格,T.A。;卡迪尔,S。;拉贾马尼,S.K。 符号状态空间探索中的部分顺序缩减。 (英语) Zbl 1001.68080号 形式方法系统。设计。 18,第2期,97-116(2001).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。18,第2号,97--116(2001;Zbl 1001.68080) 全文: DOI程序
蒂莫西·卡姆;蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 多值决策图:理论与应用。 (英语) Zbl 1025.94515号 多重-有价值的日志。 4,编号1-2,9-62(1998).MSC公司:94立方厘米10 90C27型 05C85号 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Kam}等人,多-有价值的日志。4,编号1--2,9--62(1998;Zbl 1025.94515)