B
[BD00] Béatrice Bérard and Catherine Dufourd. Timed Automata and Additive Clock Constraints. Information Processing Letters 75(1-2):1-7. Elsevier, July 2000. 
@article{ipl75(1-2)-BD,
  author =              {B{\'e}rard, B{\'e}atrice and Dufourd, Catherine},
  title =               {Timed Automata and Additive Clock Constraints},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {75},
  number =              {1-2},
  pages =               {1-7},
  year =                {2000},
  month =               jul,
}
List of authors