Event-Clock Visibly Pushdown Automata (Q3599103)

From MaRDI portal