K. Achari

• Computer aided analysis of finite state machines