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

by David L Dill
Venue:In Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems