Combining Theorem Proving and Model Checking through Symbolic Analysis (2000)

Cached

Download Links

by Natarajan Shankar
Venue:In CONCUR 2000: Concurrency Theory, number 1877 in Lecture
Citations:24 - 0 self