B
[BFH+01] Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn et Frits Vaandrager. Minimum-Cost Reachability for Priced Timed Automata. In HSCC'01, Lecture Notes in Computer Science 2034, pages 147-161. Springer-Verlag, mars 2001. 
@inproceedings{hscc2001-BFHLPRV,
  author =              {Behrmann, Gerd and Fehnker, Ansgar and Hune, Thomas
                         and Larsen, Kim Guldstrand and Pettersson, Paul and
                         Romijn, Judi and Vaandrager, Frits},
  title =               {Minimum-Cost Reachability for Priced Timed Automata},
  editor =              {Di{~}Benedetto, Maria Domenica and
                         Sangiovani{-}Vincentelli, Alberto L.},
  booktitle =           {{P}roceedings of the 4th {I}nternational {W}orkshop
                         on {H}ybrid {S}ystems: {C}omputation and {C}ontrol
                         ({HSCC}'01)},
  acronym =             {{HSCC}'01},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2034},
  pages =               {147-161},
  year =                {2001},
  month =               mar,
  doi =                 {10.1007/3-540-45351-2_15},
}
Liste des auteurs