Synchronization of Pushdown Automata (2006)

by D Caucal
Venue:In Proc. of DLT