Forward and backward simulations – Part II: Timing-based systems (1996)

by N Lynch, F Vaandrager
Venue:Information and Computation