Stateflow to Extended Finite Automata Translation.

Meng Li, Ratnesh Kumar

Browse the full COMPSAC paper archive.