@article{ITA_2013__47_1_69_0,
     author = {Nguena Timo, Omer Landry and Reynier, Pierre-Alain},
     title = {On characteristic formulae for {Event-Recording} {Automata}},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {69--96},
     publisher = {EDP-Sciences},
     volume = {47},
     number = {1},
     year = {2013},
     doi = {10.1051/ita/2012029},
     mrnumber = {3072311},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/ita/2012029/}
}