迪米特拉·吉安娜科波卢(编辑);格温·萨拉恩(编辑);迈克尔·巴特勒(编辑) 编辑。 (英语) Zbl 1342.00021号 正式Asp。计算。 28,第2期,179-180(2016).MSC公司:00B25型 68-06 68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Giannakopoulou}(编辑)等,《形式语法》。计算。28,第2号,179--180(2016;Zbl 1342.00021) 全文: 内政部 哈尔
弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 (英语) Zbl 1214.68220号 正式Asp。计算。 22,第6期,681-711(2010).MSC公司:60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人,正式Asp。计算。22,第6号,681--711(2010;Zbl 1214.68220) 全文: 内政部