Principal Investigator: Dr. WONG Man Leung
A Translation Tool for Model Checking UML State Diagrams (RPSC 2003/04)