何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司:68问题55 03B70号 68号30 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},信息计算。231、38--69(2013年;Zbl 1435.68188) 全文: 内政部
Bae,Kyungmin先生;彼得·塞巴·奥维茨基;冯,托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 使用实时淡紫色验证等级托勒密二世离散事件模型。 (英语) Zbl 1264.68051号 科学。计算。程序。 77,第12期,1235-1271(2012).MSC公司:68号30 第68季度第60季度 68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}等人,科学。计算。程序。77,第12号,1235--1271(2012;Zbl 1264.68051) 全文: 内政部