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

by Gianfranco Ciardo , Gerald Lüttgen , Radu Siminiceanu
Venue:PROC. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS), LNCS 2031
Citations:56 - 30 self