Reasoning about systems with transition fairness (2004)

by B Aminof, T Ball, O Kupferman
Venue:In Proc. LPAR, LNCS 3452