弗洛里安·拉贝 松驰理论形态。 (英语) Zbl 1367.03061号 ACM事务处理。计算。日志。 17,第1号,第5条,36页(2015年).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe},ACM翻译。计算。日志。17,第1号,第5条,36页(2015;Zbl 1367.03061) 全文: 内政部
弗洛里安·拉贝;迈克尔·科尔哈斯 可扩展模块系统。 (英语) Zbl 1358.68283号 Inf.计算。 230, 1-54 (2013).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{M.Kohlhase},Inf.Compute。230、1-54(2013年;Zbl 1358.68283) 全文: 内政部