编辑配置文件(在新选项卡中打开) Peter Ochsenschläger 合著者距离 作者ID: ochsenschlager.peter公司 发布日期: Peter Ochsenschläger;Ochsenschläger,P。 已编制索引的文档: 8出版物自1984年以来,包括2本书 合著者: 11位合著者具有8联合出版物 8位合作作者 全部的 前5名合著者 0 单作者的 2 伯恩德·鲍姆加滕 2 乌尔里希·尼切 2 尤尔根·雷普 2 罗兰·瑞克 1 西格丽德·吉尔根斯 1 约瑟夫·彼得·海格 1 吉尔根·海因茨 1 威利·昆兹 1 雷纳·普里诺思 1 卡斯滕·鲁道夫 1 尤根·瓦茨克 系列 2 信息处理信件 1 信息科学 1 计算的形式方面 1 吉泰。实验与理论人工智能杂志 1 Arbeitspapiere der GMD公司 字段 8 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用4中的次3文件 引用人▼ 年份▼ 系统的近似满足性质和简单语言同态。 Zbl 0900.68297号 乌尔里希·尼切;Peter Ochsenschläger 三 1997 sh验证工具——基于抽象的合作系统验证。 Zbl 0934.68063号 Ochsenschläger,P。;雷普,J。;R·瑞克。;美国尼采。 1 1998 sh验证工具——基于抽象的合作系统验证。 兹伯利0934.68063 Ochsenschläger,P。;雷普,J。;R·瑞克。;美国尼采。 1 1998 系统的近似满足性质和简单语言同态。 Zbl 0900.68297号 乌尔里希·尼切;Peter Ochsenschläger 三 1997 5位作者引用 2 Peter Ochsenschläger 1 乌尔里希·尼切 1 于尔根代表 1 罗兰·瑞克 1 乌尔里希·尼切 2篇连载文章中引用 2 信息处理信件 1 吉泰。实验与理论人工智能杂志 在1个字段中引用 三 计算机科学(68-XX) 按年份列出的引文