Sign in

On the Size of Two-Way Reasonable Automata for the Liveness Problem.

Maria Paola BianchiJuraj HromkovicIvan Kovác
Published in: DLT (2015)
Keyphrases