编辑配置文件(在新选项卡中打开) 石景浩 合著者距离 作者ID: 石景浩 发布日期: 石景浩 已编制索引的文档: 1出版物自2018年起 合著者: 3位合著者具有1联合出版物 32位合作作者 合著者 0 单作者的 1 杰弗里·查伦 1 Ranveer Chandra 1 拉希里、舒文杜·库马尔 系列 1 系统设计中的形式化方法 领域 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 不确定性下的无线协议验证。 Zbl 1394.68027号 石景浩;Lahiri,Shuvendu K。;Ranveer Chandra;杰弗里·查伦 2 2018 不确定性条件下的无线协议验证。 Zbl 1394.68027号 石景浩;Lahiri,Shuvendu K。;Ranveer Chandra;杰弗里·查伦 2 2018 5位作者引用 1 Aceto,卢卡 1 伊利耶斯·法尔科内 1 阿德里安·弗兰卡兰扎 1 Ingólfsdóttir,安娜 1 塞萨尔·桑切斯 连载1篇 2 系统设计中的形式化方法 在3个字段中引用 2 计算机科学(68至XX) 1 一般性和全局性主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文