Multi-Valued Symbolic ModelChecking (2003)

by M Chechik, B Devereux, S Easterbrook, A Gurfinkel
Venue:ACM Transactions on Software Engineering and Methodology