B
[BDL+06] Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, and Martijn Hendriks. UPPAAL 4.0. In QEST'06, pages 125-126. IEEE Comp. Soc. Press, September 2006. 
@inproceedings{qest2006-BDLHPYH,
  author =              {Behrmann, Gerd and David, Alexandre and Larsen, Kim
                         Guldstrand and H{\aa}kansson, John and Pettersson,
                         Paul and Yi, Wang and Hendriks, Martijn},
  title =               {UPPAAL~4.0},
  booktitle =           {{P}roceedings of the 3rd {I}nternational
                         {C}onference on {Q}uantitative {E}valuation of
                         {S}ystems ({QEST}'06)},
  acronym =             {{QEST}'06},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {125-126},
  year =                {2006},
  month =               sep,
  doi =                 {10.1109/QEST.2006.59},
}
List of authors