汤姆·恩格斯。;Jan Friso,格鲁特;Van Weerdenburg,穆克J。;Tim A.C.Willemse。 用于自动验证的搜索算法。 (英语) Zbl 1183.68227号 J.日志。阿尔盖布。程序。 78,第4号,274-287(2009).MSC公司:68页第10页 68周05 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.N.Engels}等人,J.Log。阿尔盖布。程序。78,第4号,274--287(2009;Zbl 1183.68227) 全文: 内政部 链接
Jan Friso,格鲁特;奥尔加·特维雷蒂纳 一阶谓词逻辑的二进制决策图。 (英语) Zbl 1035.03012号 J.日志。阿尔盖布。程序。 57,第1-2、1-22号(2003).MSC公司:03B70号 03B35型 03B10号机组 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{O.Tveretina},J.Log。阿尔盖布。程序。57,编号1--2,1--22(2003;Zbl 1035.03012) 全文: 内政部
J.F.格罗特。;J.庞。;沃特斯,A.G。 起重车分布式系统分析。 (英语) Zbl 1048.68055号 J.日志。阿尔盖布。程序。 55,第1-2、21-56号(2003年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,J.Log。阿尔盖布。程序。55,编号1--2,21-56(2003;Zbl 1048.68055) 全文: 内政部
Jan Friso,格鲁特;斯普林菲尔德,一月 焦点和收敛过程运算符:协议验证的证明策略。 (英语) Zbl 1015.68175号 J.日志。阿尔盖布。程序。 49,第1-2号,31-60(2001).MSC公司:68吨15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{J.Springintveld},J.Log。阿尔盖布。程序。49,编号1--2,31-60(2001;Zbl 1015.68175) 全文: 内政部
J.F.格罗特。;A.Ponse。;Usenko,Y.S。 并行pCRL中的线性化。 (英语) Zbl 0988.68121号 J.日志。阿尔盖布。程序。 48,编号1-2,39-70(2001).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,J.Log。阿尔盖布。程序。48,编号1--2,39-70(2001;Zbl 0988.68121) 全文: 内政部