Large State Space Visualization (2003)

by J Groote, F Ham
Venue:In TACAS