Saturation: an efficient iteration strategy for symbolic state space generation (2001)

by G Ciardo, G Luettgen, R Siminiceanu
Venue:In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2031