TY - BOOK AU - Gopalakrishnan, Ganesh TI - Computation engineering applied Automata Theory and Logic SN - 387325204 PY - 2006/// CY - New York PB - Springer ER -