JiříBarnat;卢博什·布里姆;Ročkai,佩特 最适合验证弱LTL属性的即时并行模型检查算法。 (英语) Zbl 1264.68052号 科学。计算。程序。 77,第12期,1272-1288(2012).MSC公司:68号30 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,科学。计算。程序。77,第12号,1272--1288(2012;Zbl 1264.68052) 全文: DOI程序
北卡罗来纳州贝内什。;布里姆·L。;布诺娃,B。;乔纳,I。;J·索科尔。;瓦·埃科娃,P。 应用于组件交互自动机的状态/事件LTL的部分降阶。 (英语) Zbl 1220.68048号 科学。计算。程序。 76,第10号,877-890(2011).MSC公司:68号30 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,科学。计算。程序。76,第10号,877--890(2011;Zbl 1220.68048) 全文: DOI程序
爱德坎普,S。;D.苏鲁斯基。;J.巴纳特。;布里姆·L。;西蒙切克,P。 闪存高效LTL模型检查。 (英语) 兹比尔1213.68372 科学。计算。程序。 76,第2期,136-157(2011).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Edelkamp}等人,科学。计算。程序。76,编号2,136-157(2011年;兹bl 1213.68372) 全文: DOI程序