中文
Property Extraction Based on LSC Model Checking
戴雨婷，缪淮扣，梅佳，高洪皓
Journal of Shanghai University（Natural Science Edition） . 2012, (2): 156 -162 .