Timing assumptions and verification of finite-state concurrent systems (1989)

by D L Dill
Venue:in Proc. Workshop Automat. Verification Methods Finite-State Syst