L
[LBB+01] Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson et Judi Romijn. As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. In CAV'01, Lecture Notes in Computer Science 2102, pages 493-505. Springer-Verlag, juillet 2001. 
@inproceedings{cav2001-LBBFHPR,
  author =              {Larsen, Kim Guldstrand and Behrmann, Gerd and
                         Brinksma, Ed and Fehnker, Ansgar and Hune, Thomas
                         and Pettersson, Paul and Romijn, Judi},
  title =               {As~Cheap as Possible: Efficient Cost-Optimal
                         Reachability for Priced Timed Automata},
  editor =              {Berry, G{\'e}rard and Comon, Hubert and Finkel,
                         Alain},
  booktitle =           {{P}roceedings of the 13th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'01)},
  acronym =             {{CAV}'01},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2102},
  pages =               {493-505},
  year =                {2001},
  month =               jul,
  doi =                 {10.1007/3-540-44585-4_47},
}
Liste des auteurs