编辑配置文件（在新选项卡中打开） 林德·尼尔森，Jørn 合著者距离 作者ID： 琳德·尼尔森 发布日期： 约恩·林德·尼尔森;林德·尼尔森，J。 编入索引的文档： 4出版物自1999年以来 合著者： 5位合著者具有4联合出版物 194位联合作者 合著者 0 单作者的 4 安徒生、亨利克·雷夫 2 格德·贝尔曼 2 亨利克·胡尔加德 2 金·古德斯特兰·拉森 1 Kristoffersen，Káre J。 系列 2 系统设计中的形式化方法 领域 4 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用7中的次7文件 引用人▼ 年份▼ 模态方程的部分模型检验：综述。 Zbl 1065.68580号 安徒生、亨利克·雷夫;约恩·林德·尼尔森 三 1999 使用组合性和依赖性分析验证大型状态/事件系统。 Zbl 0970.68108号 约恩·林德·尼尔森;安徒生、亨利克·雷夫;亨利克·胡尔加德;格德·贝尔曼;科勒克里斯托弗森;Larsen，Kim G。 2 2001 状态/事件系统的逐步CTL模型检查。 Zbl 1046.68600号 约恩·林德·尼尔森;安徒生、亨利克·雷夫 2 1999 使用组合性和依赖性分析验证大型状态/事件系统。 Zbl 0970.68108号 约恩·林德·尼尔森;安徒生、亨利克·雷夫;亨利克·胡尔加德;格德·贝尔曼;科勒克里斯托弗森;Larsen，Kim G。 2 2001 模态方程的部分模型检验：综述。 Zbl 1065.68580号 安徒生、亨利克·雷夫;约恩·林德·尼尔森 三 1999 状态/事件系统的逐步CTL模型检查。 Zbl 1046.68600号 约恩·林德·尼尔森;安徒生、亨利克·雷夫 2 1999 所有引用出版物 前5名被引用出版物 全部的 前5名24位作者引用 1 David A.Basin。 1 尼古拉·贝内什 1 罗德里克·布洛姆 1 博迪，恰拉 1 加布里埃尔·科斯塔 1 皮耶保罗·德加诺 1 迪马罗戈纳斯，迪莫斯五世。 1 乌里·法伦贝格 1 盖列塔，莱特里奥 1 休伯特·加拉维 1 奥尔纳·格伦伯格 1 加里·哈赫特尔（Gary D.Hachtel）。 1 科尔钦，A.V。 1 简·Křetínsk 1 弗雷德里克·朗 1 Legay、Axel 1 拉杜·马特埃斯库 1 耶尔·梅勒 1 皮尔雷·梅耶（Pierre-Jean Meyer） 1 卡维塔·拉维 1 沙龙·肖姆 1 法比奥·萨蒙齐 1 路易斯·玛丽·特劳努埃兹 1 王超 全部的 前5名6篇连载文章中引用 2 信息与计算 1 信息学报 1 自动推理杂志 1 控制论与系统分析 1 系统设计中的形式化方法 1 非线性分析。混合动力系统 在3个字段中引用 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文