Large State Space Visualization.

Jan Friso Groote, Frank van Ham

Browse the full TACAS paper archive.