编辑配置文件（在新选项卡中打开） 萨马内纳瓦布波尔 合著者距离 作者ID： 纳瓦布普尔·萨马内 发布日期： 萨马内纳瓦布波尔 已编制索引的文档： 1出版物自2013年以来 合著者： 2合著者具有1联合出版物 63位合作作者 合著者 0 单作者的 1 博尔祖·博纳克达尔普尔 1 塞巴斯蒂安·费奇迈斯特 系列 1 系统设计中的形式化方法 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用3中的次1文件 引用人▼ 年份▼ 时间触发运行时验证。 兹比尔1291.68248 博尔祖·博纳克达尔普尔；萨马内纳瓦布波尔；塞巴斯蒂安·费奇迈斯特 三 2013 时间触发运行时验证。 兹比尔1291.68248 博尔祖·博纳克达尔普尔；萨马内纳瓦布波尔；塞巴斯蒂安·费奇迈斯特 三 2013 3位作者引用 1 谢·贝尔科维奇 1 博尔祖·博纳克达尔普尔 1 塞巴斯蒂安·费奇迈斯特 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文