Model Checking of Real-Time Reachability Properties Using Abstractions (1998)

Cached

Download Links

by Conrado Daws , Stavros Tripakis
Citations:70 - 10 self