Multi-valued model checking via classical model checking (2003)

by A Gurfinkel, M Chechik
Venue:In Proc. of CONCUR: Concurrency Theory, LNCS 2761