编辑配置文件（在新选项卡中打开） 数据器，Advaita 合著者距离 作者ID： 数据.advaita 发布日期： 数据器，Advaita 编入索引的文档： 1出版物自2017年起 合著者： 4位合著者具有1联合出版物 38位合作作者 合著者 0 单作者的 1 C.、尼亚斯 1 阿努什里·贾纳 1 Khedker，Uday P。 1 拉金德兰·文卡泰什 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 通过使用数组转换程序来缩放有界模型检查。 Zbl 1485.68067号 阿努什里·贾纳;Uday P.凯德克。;数据器，Advaita;R·文卡特斯。;C.、尼亚斯 1 2017 通过使用数组转换程序来缩放有界模型检查。 Zbl 1485.68067号 阿努什里·贾纳;Khedker，Uday P。;数据器，Advaita;R·文卡特斯。;C.、尼亚斯 1 2017 5位作者引用 1 穆拉德·阿洪多夫 1 玛莎·契契克 1 尼克·冯 1 Hui，Vincent W.H。 1 费德里科·莫拉 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文