Multi-valued symbolic model-checking (0)

by Devereux Chechik, Gurfinkel Easterbrook
Venue:ACM Trans. Softw. Eng. Methodol