@InProceedings{   UPPAAL-Tiga:CAV:2007,
  Author        = "Behrmann, Gerd and Cougnard, Agn\`{e}s and David, Alexandre and Fleury, Emmanuel and Larsen, Kim G. and Lime, Didier",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of CAV'07",
  date-added    = "2020-02-06 19:00:19 +0100",
  date-modified = "2020-02-06 19:01:25 +0100",
  ISBN          = "9783540733676",
  Location      = "Berlin, Germany",
  numpages      = "5",
  Pages         = "121---125",
  Publisher     = "Springer-Verlag",
  Series        = "CAV'07",
  Title         = "UPPAAL-Tiga: Time for Playing Games!",
  Year          = "2007",
  File          = "UPPAAL-Tiga- Time for Playing Games! - Behrmann2007\_Chapter\_UPPAAL-TigaTimeForPlayingGames - a - a - a - m.pdf"
}

@InProceedings{ UPPAAL-Tiga:CAV:2007, Author = "Behrmann, Gerd and Cougnard, Agn`{e}s and David, Alexandre and Fleury, Emmanuel and Larsen, Kim G. and Lime, Didier", Address = "Berlin, Heidelberg", BookTitle = "Proc. of CAV'07", date-added = "2020-02-06 19:00:19 +0100", date-modified = "2020-02-06 19:01:25 +0100", ISBN = "9783540733676", Location = "Berlin, Germany", numpages = "5", Pages = "121---125", Publisher = "Springer-Verlag", Series = "CAV'07", Title = "UPPAAL-Tiga: Time for Playing Games!", Year = "2007", File = "UPPAAL-Tiga- Time for Playing Games! - Behrmann2007_Chapter_UPPAAL-TigaTimeForPlayingGames - a - a - a - m.pdf" }