中国科学院数学与系统科学研究院期刊网
JSSC
ON INVARIANT CHECKING
ZHANG Zhihai , KAPUR Deepak
ON INVARIANT CHECKING
ZHANG Zhihai , KAPUR Deepak
Journal of Systems Science and Complexity . 2013, (3): 470 -482 .  DOI: 10.1007/s11424-013-1296-1