Saturation unbound (2003)

by G Ciardo, R Marmorstein, R Siminiceanu
Venue:Proc. TACAS, LNCS 2619