编辑配置文件(在新选项卡中打开) 托尔斯滕·利布克 合著者距离 作者ID: 利比基·托尔斯滕 发布日期: 托尔斯滕·利布克 已编制索引的文档: 3出版物自2019年起 合著者: 1位合著者具有3联合出版物 29位合作作者 合著者 0 单作者的 三 卡斯滕·沃尔夫 系列 字段 三 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 减轻显式CTL模型检查器的负担。 Zbl 07796230号 托尔斯滕·利布克;卡斯滕·沃尔夫 三 2019 减轻了显式CTL模型检查器的一些负担。 Zbl 07796230号 托尔斯滕·利布克;卡斯滕·沃尔夫 三 2019 全部的 前5名被6位作者引用 2 托尔斯滕·利布克 2 卡斯滕·沃尔夫 1 彼得·格约尔·詹森 1 吉·斯尔巴 1 尼古拉·延森·乌尔里克 1 Simon Mejlby,Virenfeldt 0连载引用 在2个字段中引用 三 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文