纳塔莉亚·斯克里普纽克;弗莱明·尼尔森 使用Horn子句的有限状态过程代数的可达性。 (英语) Zbl 1295.68169号 发现的国际期刊。计算。科学。 24,第2期,283-302(2013). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}和\textit{F.Nielson},国际期刊发现。计算。科学。24,第2号,283--302(2013;Zbl 1295.68169) 全文: 内政部
纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 IMC的静态分析。 (英语) Zbl 1243.68220号 J.日志。阿尔盖布。程序。 81,第4期,522-540(2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}等人,J.Log。阿尔盖布。程序。81,第4号,522--540(2012;Zbl 1243.68220) 全文: 内政部