Model Checking of Real-Time Reachability Properties Using Abstractions.

Conrado Daws, Stavros Tripakis

Browse the full TACAS paper archive.