%0 Journal Article
%A Nguena Timo, Omer Landry
%A Reynier, Pierre-Alain
%T On characteristic formulae for Event-Recording Automata
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2013
%P 69-96
%V 47
%N 1
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2012029/
%R 10.1051/ita/2012029
%G en
%F ITA_2013__47_1_69_0