TY - BOOK AU - Gopalakrishnan/Ganesh L TI - Computation Engineering:Applied automata theory and logic PY - 2006/// PB - Springer KW - Computation KW - automata theory ER -