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

by C Daws, S Tripakis
Venue:In Proc. 4th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’98