RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

On characteristic formulae for Event-Recording Automata

Omer Landry Nguena Timo and Pierre-Alain Reynier

RAIRO-Theor. Inf. Appl., 47 1 (2013) 69-96

Published online: 10 January 2013

DOI: 10.1051/ita/2012029

Omer Landry Nguena Timo

Pierre-Alain Reynier

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)