ISSN 1000-1239 CN 11-1777/TP
Abstract Modeling Formalisms in Software Model Checking
Wei Ou, Shi Yufeng, Xu Bingfeng, Huang Zhiqiu, Chen Zhe
Journal of Computer Research and Development . 2015, (7): 1580 -1603 .  DOI: 10.7544/issn1000-1239.2015.20140413