Model-Checking over Multi-valued Logics (2001)

by M Chechik, S Easterbrook, V Petrovykh
Venue:FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe