Model-checking over multi-valued logics (2001)

by Marsha Chechik, Steve Easterbrook, Victor Petrovykh
Venue:In Formal Methods Europe (FME’01), volume 2021 of LNCS