Analysis of Symbolic SCC Hull Algorithms.

Tue, 01 Jan 2002 00:00:00 +0100

Fabio Somenzi, Kavita Ravi, Roderick Bloem:
Analysis of Symbolic SCC Hull Algorithms. FMCAD 2002: 88-105