## Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation (2001)

### Cached

### Download Links

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 |