共 50 条
- [43] Synchronization of pushdown automata DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2006, 4036 : 120 - 132
- [50] A Logical Characterization for Dense-Time Visibly Pushdown Automata LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 89 - 101