安东·库切拉;理查德·迈尔 关于检查下推过程和有限状态过程之间语义等价性的复杂性。 (英语) Zbl 1194.68162号 Inf.计算。 208,第7期,772-796(2010).MSC公司:68问题85 65年第68季度 65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{R.Mayr},Inf.Comput。208,第7号,772--796(2010;Zbl 1194.68162) 全文: 内政部 链接
彼得·扬查尔;安东·库切拉;法隆·莫勒;Zdeněk萨瓦 单计数器自动机等价性检查和模型检查的DP下界。 (英语) Zbl 1078.68087号 Inf.计算。 188,第1号,第1-19页(2004年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人,《信息计算》。188,编号1,1--19(2004;Zbl 1078.68087) 全文: 内政部
哈维尔·埃斯帕尔扎;安东·库切拉;斯特凡·施温 模型检查LTL,定期评估下推系统。 (英语) Zbl 1078.68081号 Inf.计算。 186,第2期,355-376(2003).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《信息计算》。186,编号2,355--376(2003;Zbl 1078.68081) 全文: 内政部