白雪等人：只是触及表面：在可达集计算中对初始值的部分探索。(2017) conf/cdc/0001FM17 10.1109/CDC.2017.8263905 仅触及表面：在可达集计算中对初始值的部分探索。 三 白雪0001 1 马丁·弗伦泽 2 彼得·纳齐尔·莫萨德 三 1769-1775 疾病预防控制中心 疾病预防控制中心 2017 2017 dblp记录“conf/cdc/0001FM17”的RDF数据的来源信息 2018-01-24T18:24:40+0100