基于线性带权值的广义表的模型检验方法

基于线性带权值的广义表的模型检验方法

刘恩军

Method of model checking based on linear weighted generalized list

LIU En-jun

计算机工程与应用 . 2008, (29): 88 -91 . DOI: 10.3778/j.issn.1002-8331.2008.29.024