纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 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) 全文: 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 BioAmbients的路径分析。 (英语) Zbl 1147.92002号 J.日志。阿尔盖布。程序。 77,编号1-2,92-130(2008).MSC公司:92B05型 2010年第68季度 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人,J.日志。阿尔盖布。程序。77,编号1--2,92-130(2008年;兹bl 1147.92002) 全文: 内政部