Azalea Raad等人：验证并发图算法。(2016) conf/aplas/RaadHVG16 10.1007/978-3-319-47958-3_17 验证并发图算法。 4 杜鹃花 1 阿奎那·霍伯 2 朱尔斯·维拉德 三 菲利普·加德纳 4 314-334 阿普拉斯 阿普拉斯 2016 2016 dblp记录“conf/aplas/RaadHVG16”的RDF数据的来源信息 2022-10-02T15:54:47+0200