Slicing Hierarchical Automata for Model Checking UML Statecharts.

Ji Wang, Wei Dong, Zhichang Qi

Browse the full ICFEM paper archive.