Multi-Valued Model Checking via Classical Model Checking (2003)

Cached

Download Links

by Arie Gurfinkel , Marsha Chechik
Venue:IN PROCEEDINGS OF 14TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR’03), VOLUME 2761 OF LNCS
Citations:25 - 10 self