编辑配置文件(在新选项卡中打开) 拉森·金(Larsen Kim Guldstrand) 合著者距离 作者ID: 古德斯特兰·拉尔森·金 发布日期: 拉森·金(Larsen Kim Guldstrand) 已编制索引的文档: 1出版物自2021年起 合著者: 2合著者具有1联合出版物 72位合作作者 合著者 0 单作者的 1 弗兰克·卡塞兹 1 彼得·格约尔·詹森 系列 1 计算机基础理论 领域 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 使用跟踪抽象细化的实时程序的验证和参数合成。 Zbl 1478.68053号 弗兰克·卡塞兹;彼得·格约尔·詹森;拉森·金(Larsen Kim Guldstrand) 1 2021 使用跟踪抽象细化的实时程序的验证和参数合成。 Zbl 1478.68053号 弗兰克·卡塞兹;彼得·格约尔·詹森;拉森·金(Larsen Kim Guldstrand) 1 2021 4位作者引用 1 陈振邦 1 杜一德 1 洪伟江 1 王,季 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文