Visibly pushdown transducers.

Emmanuel Filiot Jean-François Raskin Pierre-Alain Reynier Frédéric Servais Jean-Marc Talbot

Published in: J. Comput. Syst. Sci. (2018)

Keyphrases

model checking
finite automata
finite state automata
lower bound
theoretical analysis
semi automatic