戴丽云和夏碧灿：简单线性循环的非终止集。(2012) conf/ictac/DaiX12 10.1007/978-3-642-32943-2_5 简单线性循环的非终止集。 2 戴丽云 1 碧灿霞 2 61-73 ICTAC公司 ICTAC公司 2012 2012 dblp记录“conf/ictac/DaiX12”的RDF数据的出处信息 2017-05-23T01:11:58+0200