白雪等：用多面体逼近后向可达集。(2016) conf/cav/XueSE16 10.1007/978-3-319-41528-4_25 由多面体逼近后向可达集。 三 白雪0001 1 知坤社 2 阿尔文德·伊斯瓦兰 三 457-476 CAV（1） CAV（1） 2016 2016 dblp记录“conf/cav/XueSE16”的RDF数据的来源信息 2018-11-02T09:33:47+0100