Finite-Memory Automata (Extended Abstract)

Michael Kaminski, Nissim Francez

Browse the full FOCS paper archive.