. . . . . “Azalea Raad等人：验证并发图算法。（2016）”。 . _：ID_b4856461c927f1620df57389434fcc63。_：ID_b4856461c927f1620df57389434fcc63 ._：标识_b4856461c927f1620df57389434fcc63 ._：ID_b4856461c927f1620df57389434fcc63 ._：ID_b4856461c927f1620df57389434fcc63“conf/aplas/RaadHVG16”。 _：ID_d08897335fd8eedf011698307d654700。_：ID_d08897335fd8eedf011698307d654700 ._：ID_d08897335fd8eedf011698307d654700 ._：ID_d08897335fd8eedf011698307d654700 ._：ID_d08897335fd8eedf011698307d654700"10.1007/978-3-319-47958-3_17" . “验证并发图形算法”。 . . . . . . . . . "4"^^. _：Sig_d15035066beb14a62ac0442de612efa7_1。_：Sig_d15035066beb14a62ac0442de612efa7_1 ._：Sig_d15035066beb14a62ac0442de612efa7_1 ._：Sig_d15035066beb14a62ac0442de612efa7_1“杜鹃花”。_：Sig_d15035066标签14a62ac0442de612efa7_1 ._：Sig_d15035066beb14a62ac0442de612efa7_1"1"^^._：Sig_d15035066beb14a62ac0442de612efa7_1 . _：Sig_d15035066beb14a62ac0442de612efa7_2。_：Sig_d15035066beb14a62ac0442de612efa7_2 ._：Sig_d15035066beb14a62ac0442de612efa7_2 ._：Sig_d15035066beb14a62ac0442de612efa7_2“阿奎那·霍伯”。_：Sig_d15035066beb14a62ac0442de612efa7_2 ._：Sig_d15035066beb14a62ac0442de612efa7_2"2"^^._：Sig_d15035066beb14a62ac0442de612efa7_2 . _：Sig_d15035066beb14a62ac0442de612efa7_3。_：Sig_d15035066beb14a62ac0442de612efa7_3 ._：Sig_d15035066beb14a62ac0442de612efa7_3 ._：Sig_d15035066beb14a62ac0442de612efa7_3“朱尔斯·维拉德”。_：Sig_d15035066beb14a62ac0442de612efa7_3 ._：Sig_d15035066标签14a62ac0442de612efa7_3 ._：Sig_d15035066beb14a62ac0442de612efa7_3"3"^^._：Sig_d15035066beb14a62ac0442de612efa7_3 . _：Sig_d15035066beb14a62ac0442de612efa7_4。_：Sig_d15035066beb14a62ac0442de612efa7_4 ._：Sig_d15035066标签14a62ac0442de612efa7_4 ._：Sig_d15035066beb14a62ac0442de612efa7_4“菲利普·加德纳”。_：Sig_d15035066beb14a62ac0442de612efa7_4 ._：Sig_d15035066beb14a62ac0442de612efa7_4"4"^^._：Sig_d15035066beb14a62ac0442de612efa7_4 . . . . . "314-334" . “APLAS”。 “APLAS”。 "2016"^^. "2016"^^. . “dblp记录'conf/aplas/RaadHVG16'的RDF数据的来源信息”。 . . . “2022-10-02T15:54:47+0200”。