@PhdThesis{       tranPhd,
  Author        = "Tran, Thanh Tung",
  date-added    = "2020-07-28 08:52:50 +0200",
  date-modified = "2020-07-28 08:53:11 +0200",
  Title         = "Verification of timed automata : reachability, liveness and modelling",
  Year          = "2016",
  File          = "Verification of timed automata - reachability, liveness and modelling - a - k.pdf"
}

@PhdThesis{ tranPhd, Author = "Tran, Thanh Tung", date-added = "2020-07-28 08:52:50 +0200", date-modified = "2020-07-28 08:53:11 +0200", Title = "Verification of timed automata : reachability, liveness and modelling", Year = "2016", File = "Verification of timed automata - reachability, liveness and modelling - a - k.pdf" }