编辑配置文件(在新选项卡中打开) Manoj G.迪克西特。 合著者距离 作者ID: dixit.manoj-g公司 发布日期: Manoj G.迪克西特。 已编制索引的文档: 2出版物自2011年起 合著者: 1位合著者具有2联合出版物 23位合作作者 合著者 0 单作者的 2 帕拉布·达斯古普塔 系列 1 信息处理信件 1 计算的形式方面 领域 2 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次2文件 引用人▼ 年份▼ 关于参数时序逻辑的一些结果。 兹比尔1260.68201 Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 2 2011 时间预算:一种用于实时嵌入式系统的基于组件的开发方法。 Zbl 1342.68042号 Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 1 2014 时间预算:一种基于组件的实时嵌入式系统开发方法。 Zbl 1342.68042号 Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 1 2014 关于参数时序逻辑的一些结果。 兹比尔1260.68201 Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 2 2011 4位作者引用 2 帕拉布·达斯古普塔 1 查克拉巴蒂,帕塔·普拉蒂姆 1 Manoj G.迪克西特。 1 阿里特拉·哈兹拉 2篇连载文章中引用 1 计算的形式方面 1 应用逻辑杂志 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文