Symbolic Approximations for Verifying Real-Time Systems (1995)

by H Wong-Toi