#br# Multi-valued Model Checking of Software Product Line with χChek
HUANG Ming-yu, SHI Yu-feng
Computer and Modernization . 2014, (8): 87 -90 .  DOI: 10.3969/j.issn.1006-2475.2014.08.019