Visualizing State Transition Graphs Hannes Pretorius Visualization Group, TU/e 17 October 2007 [email protected] apretori
