Liveness in timed and untimed systems (1994)

by R Gawlick, R Segala, J Sogaard-Andersen, N A Lynch
Venue:Proc. ICALP, Springer LNCS 820