@PhdThesis{       Randour:2014fk,
  Author        = "Randour, Mickael",
  date-added    = "2014-06-11 09:32:45 +0000",
  date-modified = "2014-06-11 09:33:19 +0000",
  Month         = "April",
  Title         = "Synthesis in Multi-Criteria Quantitative Games",
  Year          = "2014",
  File          = "Synthesis in Multi-Criteria Quantitative Games - Randour (0) (0) - a - a - c.pdf"
}

@PhdThesis{ Randour:2014fk, Author = "Randour, Mickael", date-added = "2014-06-11 09:32:45 +0000", date-modified = "2014-06-11 09:33:19 +0000", Month = "April", Title = "Synthesis in Multi-Criteria Quantitative Games", Year = "2014", File = "Synthesis in Multi-Criteria Quantitative Games - Randour (0) (0) - a - a - c.pdf" }