F
[FL02] Alain Finkel and Jérôme Leroux. How to Compose Presburger-Accelerations: Applications to Broadcast Protocols. Research Report, Lab. Spécification & Vérification, ENS Cachan, France, September 2002. 
@techreport{LSV-02-14,
  author =              {Finkel, Alain and Leroux, J{\'e}r{\^o}me},
  title =               {How to Compose {P}resburger-Accelerations:
                         Applications to Broadcast Protocols},
  year =                {2002},
  month =               sep,
  institution =         {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Research Report},
}
List of authors