Peter Ochsenschläger;尤尔根·雷普;罗兰·瑞克 抽象与合成:一种用于协作系统的验证方法。 (英语) 兹比尔1010.68091 J.实验理论。Artif公司。智力。 12,第4期,447-459(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ochsenschläger}等人,J.Exp.Theor。Artif公司。智力。12,第4号,447--459(2000;Zbl 1010.68091) 全文: 内政部
乌尔里希·尼切;Peter Ochsenschläger 系统的近似满足性质和简单语言同态。 (英语) Zbl 0900.68297号 信息处理。莱特。 60,第4期,201-206(1997).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{U.Nitsche}和\textit{P.Ochsenschläger},Inf.过程。莱特。60,编号4201-206(1997;兹bl 0900.68297) 全文: 内政部