Model-Checking over Multi-valued Logics.

Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh

Browse the full FM paper archive.