department of mathematics and computer science April 07, 2006 UNSW / NICTA, Sydney1 mCRL2 and Visualization of State Spaces Bas Ploeger [email protected].
