DMCA

Reasoning About Systems with Transition Fairness (2005)

Cached

Download Links

by Benjamin Aminof , Thomas Ball , Orna Kupferman
Venue:In Proc. of LPAR’04, volume 3452 of LNCS
Citations:7 - 0 self