Subscriber Authentication Point

EDPS Account

Article citations

Download citation

On characteristic formulae for Event-Recording Automata

Omer Landry Nguena Timo and Pierre-Alain Reynier

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

DOI: https://doi.org/10.1051/ita/2012029

Back to the article