按作者浏览
查找NU作者：Sergiy Bogomolov博士ORCiD公司
这是作者接受的会议记录手稿（包括摘要），由Springer于2017年以最终定稿形式出版。
有关重复使用权，请参阅出版商的条款和条件。
作者：Bogomolov S、Frehse G、Giacobbe M、Henzinger T
编辑：Axel Legay，Tiziana Margaria公司
出版物类型：会议记录（包括摘要）
发布状态：出版
会议名称：第23届系统构建和分析工具和算法国际会议（TACAS 2017）
会议年份：2017
页：589-606
在线发布日期：31/03/2017
验收日期：22/12/2016
存放日期：01/04/2021
国际标准编号：0302-9743
发布者：施普林格
网址：https://doi.org/10.1007/978-3-662-54577-5_34
内政部：10.1007/978-3-662-54577-5_34
图书馆馆藏：在纽卡斯尔大学图书馆搜索此项目
系列标题：计算机科学课堂讲稿
国际标准图书编号：9783662545768
