中文
Generate Safety Property Tests Using Model Checking
ZENG Hong-wei1, MIAO Huai-kou1;2
Journal of Applied Sciences . 2011, (5): 529 -536 .  DOI: 10.3969/j.issn.0255-8297.2011.05.014