A Partial Approach to Model Checking (1994)

Cached

Download Links

by Patrice Godefroid , Pierre Wolper
Venue:INFORMATION AND COMPUTATION
Citations:122 - 4 self