L
[LPY97] Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1(1-2):134-152. Springer-Verlag, October 1997. 
@article{sttt1(1-2)-LPY,
  author =              {Larsen, Kim Guldstrand and Pettersson, Paul and Yi,
                         Wang},
  title =               {{\textsc{Uppaal}} in a nutshell},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {1},
  number =              {1-2},
  pages =               {134-152},
  year =                {1997},
  month =               oct,
}
List of authors