Timing assumptions and veri cation of nite-state concurrent systems (1989)

by David L Dill
Venue:Proceedings of the International Workshop on Automatic Veri cation Methods for Finite State Systems, volume 407 of LNCS