Sciweavers

TACAS
2001
Springer

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation

14 years 3 months ago
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where TACAS
Authors Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
Comments (0)