Generating Counterexamples for Multi-valued Model-Checking.

Arie Gurfinkel, Marsha Chechik

Browse the full FM paper archive.