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:57 - 31 self