Synchronization of Pushdown Automata

From MaRDI portal
Publication:3617051