编辑配置文件（在新选项卡中打开） I.A.布朗。 合著者距离 作者ID: 棕色.i-a 发布日期： I.A.布朗。 编入索引的文档： 2出版物自1990年以来 合著者： 4位合著者具有2联合出版物 173位合作作者 合著者 0 单作者的 1 克拉克（Edmund Melson jun Clarke）。 1 罗伯特·P·库尔珊（Robert P.Kurshan）。 1 佐哈尔·曼纳 1 亨尼·B·西普玛。 系列 领域 2 数理逻辑与基础（03-XX） 2 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物被引用9中的次9文件 引用人▼ 年份▼ 广义时间验证图。 Zbl 1354.68171号 I.A.布朗。;Z.曼纳。;希普玛，H.B。 7 1995 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 Zbl 0759.68063号 E.M.克拉克。;I.A.布朗。;库尔山，R.P。 2 1990 广义时间验证图。 Zbl 1354.68171号 I.A.布朗。;Z.曼纳。;希普玛，H.B。 7 1995 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 Zbl 0759.68063号 E.M.克拉克。;I.A.布朗。;库尔山，R.P。 2 1990 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 2 尤尼特·凯斯滕 2 佐哈尔·曼纳 2 阿米尔·普努利 2 亚历杭德罗·桑切斯。 2 塞萨尔·桑切斯 2 Henny B.西普玛。 1 保罗·C·阿提。 1 尼古拉·S·比约纳。 1 克里斯托弗·雨根罗斯 1 Huynh，Dung T。 1 斯莱尼娜，马蒂奥 1 田璐 1 Tomás E.乌里韦。 1 莫西·亚亚科夫·瓦尔迪 全部的 前5名引用于8个系列 1 信息学报 1 信息科学 1 计算机与系统科学杂志 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 数学与人工智能年鉴 在2个字段中引用 9 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 按年份列出的引文