SAGGURTI PRASAD V

Method and apparatus for analyzing finite state machines