%0 Conference Paper %1 conf/fics/Nguena-TimoR09 %A Nguena-Timo, Omer Landry %A Reynier, Pierre-Alain %B FICS %D 2009 %E Matthes, Ralph %E Uustalu, Tarmo %I Institute of Cybernetics %K dblp %P 70-78 %T On Characteristic Formulae for Event-Recording Automata. %U http://dblp.uni-trier.de/db/conf/fics/fics2009.html#Nguena-TimoR09 %@ 978-9949-430-29-1

@inproceedings{conf/fics/Nguena-TimoR09, added-at = {2020-03-12T00:00:00.000+0100}, author = {Nguena-Timo, Omer Landry and Reynier, Pierre-Alain}, biburl = {https://www.bibsonomy.org/bibtex/2123aacfa144dcf5053ca51ffd32d2df2/dblp}, booktitle = {FICS}, crossref = {conf/fics/2009}, editor = {Matthes, Ralph and Uustalu, Tarmo}, ee = {http://cs.ioc.ee/fics09/proceedings/contrib9.pdf}, interhash = {187fdc9f30fc44b039f5c77c42efde81}, intrahash = {123aacfa144dcf5053ca51ffd32d2df2}, isbn = {978-9949-430-29-1}, keywords = {dblp}, pages = {70-78}, publisher = {Institute of Cybernetics}, timestamp = {2020-03-13T12:41:25.000+0100}, title = {On Characteristic Formulae for Event-Recording Automata.}, url = {http://dblp.uni-trier.de/db/conf/fics/fics2009.html#Nguena-TimoR09}, year = 2009 }