@Review{          AndreLime,
  Author        = "Andr{\'e}, {\'E}tienne and Lime, Didier",
  conference    = "FSTTCS'16",
  date-added    = "2016-07-29 07:51:22 +0000",
  date-modified = "2016-07-29 07:53:17 +0000",
  Title         = "Liveness in L/U-Parametric Timed Automata",
  File          = "Liveness in L-U-Parametric Timed Automata - André, Lime (0) (0) - a - a - r.pdf",
  file-2        = "Liveness in L-U-Parametric Timed Automata - André, Lime (0) (0) - a - a - r.xml"
}

@Review{ AndreLime, Author = "Andr{\'e}, {\'E}tienne and Lime, Didier", conference = "FSTTCS'16", date-added = "2016-07-29 07:51:22 +0000", date-modified = "2016-07-29 07:53:17 +0000", Title = "Liveness in L/U-Parametric Timed Automata", File = "Liveness in L-U-Parametric Timed Automata - André, Lime (0) (0) - a - a - r.pdf", file-2 = "Liveness in L-U-Parametric Timed Automata - André, Lime (0) (0) - a - a - r.xml" }