@inproceedings{AMR+05,
title = {Impl\'ementabilit\'e des automates temporis\'es },
author = {Altisen, Karine and Markey, Nicolas and Reynier, Pierre-Alain and Tripakis, Stavros},
year = {2005},
booktitle = {Mod\'elisation des Syst\`emes R\'eactifs (MSR'05), session invit\'ee de l'ACI CORTOS},
address = {Autrans, France},
note = {in French},
team = {SYNC},
}
