编辑配置文件（在新选项卡中打开） 乔纳斯·韦斯特曼 合著者距离 作者ID： 韦斯特曼·约纳斯 发布日期： 乔纳斯·韦斯特曼 已编制索引的文档： 2出版物自2018年起 合著者： 1位合著者具有2联合出版物 4位合作作者 合著者 0 单作者的 2 马蒂亚斯·尼贝格 系列 1 系统设计中的形式化方法 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 异构系统中分离职责的合同条件。 兹比尔1390.68442 乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 1 2018 异构系统中分离职责的合同条件。 兹比尔1390.68442 乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 1 2018 2位作者引用 1 马蒂亚斯·尼贝格 1 乔纳斯·韦斯特曼 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文