Model-Checking Over Multi-Valued Logics (2001)

Cached

Download Links

by Marsha Chechik , Steve Easterbrook , Victor Petrovykh
Venue:In Proceedings of FME’01
Citations:31 - 15 self