A Logical Treatment of Finite Automata.

Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu

Browse the full TACAS paper archive.