A
[AKY10] Parosh Aziz Abdulla, Pavel Krčál et Wang Yi. Sampled Semantics of Timed Automata. Logical Methods in Computer Science 6(3). Septembre 2010. 
@article{lmcs6(3)-AJ,
  author =              {Abdulla, Parosh Aziz and Kr{\v{c}}{\'a}l, Pavel and
                         Yi, Wang},
  title =               {Sampled Semantics of Timed Automata},
  journal =             {Logical Methods in Computer Science},
  volume =              {6},
  number =              {3},
  year =                {2010},
  month =               sep,
  doi =                 {10.2168/LMCS-6(3:14)2010},
}
Liste des auteurs