Model-Checking Over Multi-Valued Logics (2001)

Cached

Download Links

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