Login / Signup

A Direct Construction of Finite State Automata for Pushdown Store Languages.

Viliam GeffertAndreas MalcherKatja MeckelCarlo MereghettiBeatrice Palano
Published in: DCFS (2013)
Keyphrases
  • finite state automata
  • finite state machines
  • model checking
  • hybrid automata
  • regular languages