Keyword: p automata

• PAutomata: Parameterized automata
  Emmanuel Freund & Christine Paulin