CTL Model-Checking over Logics with Non-Classical Negations (2003)

Cached

Download Links

by Marsha Chechik , Wendy MacCaull
Venue:PROC. OF 33RD IEEE INT. SYMP. ON MULTI-VALUED LOGICS (ISMVL’03
Citations:9 - 1 self