Multi-valued symbolic modelchecking (0)

by B Devereaux M Chechik, S Easterbrook, A Gur
Venue:ACM Transaction on Software Engineering and Methodology