编辑配置文件(在新选项卡中打开) 塞巴斯蒂安·亨格雷克 合著者距离 作者ID: 饥饿的人 发布日期: 塞巴斯蒂安·亨格瑞克 已编制索引的文档: 1出版物自2018年起 合著者: 5位合著者具有1联合出版物 64位合作作者 合著者 0 单作者的 1 卢卡斯修道院 1 马丁·勒克 1 托本·谢菲尔 1 麦尔特·施密茨 1 丹尼尔·托马 系列 领域 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用4中的次4文件 引用人▼ 年份▼ TeSSLa:基于时间流的规范语言。 兹比尔1519.68130 卢卡斯修道院;塞巴斯蒂安·亨格瑞克;马丁·勒克;托本·谢菲尔;麦尔特·施密茨;丹尼尔·托马 4 2018 TeSSLa:基于时间流的规范语言。 Zbl 1519.68130号 卢卡斯修道院;塞巴斯蒂安·亨格瑞克;马丁·勒克;托本·谢菲尔;麦尔特·施密茨;丹尼尔·托马 4 2018 全部的 前5名13位作者引用 2 塞萨尔·桑切斯 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 David A.Basin。 1 阿德里安·弗兰卡兰扎 1 费利佩·戈罗斯蒂亚加 1 Anna Ingólfsdóttir 1 汉内斯·卡尔维斯 1 Sr Djan Krstić 1 卡罗琳娜·莱赫蒂宁 1 马丁·勒克 1 马丁·拉西克 1 德米特里·特拉泰尔 连载1篇 1 系统设计中的形式化方法 在2个字段中引用 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文