克里斯托夫·斯科尔;贝恩德·贝克尔;托马斯·维斯 关于WLCD和单词级决策图的复杂性-除法的下限。 (英语) Zbl 1017.68068号 形式方法系统。设计。 20,第3期,311-326(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Scholl}等人,《形式方法系统》。设计。20,第3号,311--326(2002;Zbl 1017.68068) 全文: 内政部
哈维尔·埃斯帕尔扎;斯特凡·Römer;沃尔特·福格勒 麦克米兰展开算法的改进。 (英语) Zbl 1017.68085号 形式方法系统。设计。 20,第3期,285-310(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《形式方法系统》。设计。20,第3号,285--310(2002;Zbl 1017.68085) 全文: 内政部
罗斯、特奥多尔;埃里克·范怀克;汤姆·哈尔弗森 根据代数规范生成模型检查器。 (英语) Zbl 1017.68070号 形式方法系统。设计。 20,第3期,249-284(2002).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Rus}等人,Form.Methods Syst。设计。20,第3号,249--284(2002;Zbl 1017.68070) 全文: 内政部
拉坦,纳卢马苏;加内什·戈帕拉克里什南 一种高效的部分降阶算法,具有替代性的但书实现。 (英语) 兹伯利1017.68069 形式方法系统。设计。 20,第3期,231-247(2002).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Nalumasu}和\textit{G.Gopalakrishnan},《形式与方法系统》。设计。20,第3号,231--247(2002;Zbl 1017.68069) 全文: 内政部