Bibtex de la publication

@Article{ Fa2017.10,
author = {Fares, Elie and Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Event algebra for transition systems composition Application to timed automata}",
journal = {Acta Informatica},
publisher = {Springer},
address = {http://www.springerlink.com},
year = {2017},
month = {juillet},
volume = {1},
pages = {1--38},
language = {anglais}
}