|
[DT98]
C. Daws and S. Tripakis.
Model-checking of real-time reachability properties using abstractions.
In Proc. Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), volume 1384 of LNCS, pages 313-329, Springer.
1998.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|