德姆里,S。;拉鲁西尼,F。;Schnoebelen博士。 模型检验中状态爆炸问题的参数分析。 (英语) Zbl 1094.68056号 J.计算。系统。科学。 72,第4期,547-575(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《计算杂志》。系统。科学。72,第4号,547--575(2006;Zbl 1094.68056) 全文: 内政部 哈尔
利奥尼德·利金;黄利松 行李和聚合函数的查询语言。 (英语) Zbl 0887.68022号 J.计算。系统。科学。 55,第2期,241-272(1997).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Libkin}和\textit{L.Wong},J.Compute。系统。科学。55,No.2,241--272(1997;Zbl 0887.68022) 全文: 内政部 链接