Compositional Reachability Analysis Using Process Algebra (1991)

Cached

Download Links

by Wei Jen Yeh , Michal Young
Venue:IN PROCEEDINGS OF THE SYMPOSIUM ON TESTING, ANALYSIS, AND VERIFICATION (TAV4
Citations:59 - 3 self