@PhdThesis{       radhakrishnaquantitative,
  Author        = "Radhakrishna, Arjun",
  date-added    = "2015-10-01 12:44:59 +0000",
  date-modified = "2015-10-01 13:07:22 +0000",
  Keywords      = "simulation distances",
  School        = "Institute of Science and Technology Austria, Klosterneuburg, Austria",
  Title         = "Quantitative Specifications for Verification and Synthesis",
  Year          = "2014",
  File          = "Quantitative Specifications for Verification and Synthesis - Radhakrishna (0) (0) - a - a - d.pdf"
}

@PhdThesis{ radhakrishnaquantitative, Author = "Radhakrishna, Arjun", date-added = "2015-10-01 12:44:59 +0000", date-modified = "2015-10-01 13:07:22 +0000", Keywords = "simulation distances", School = "Institute of Science and Technology Austria, Klosterneuburg, Austria", Title = "Quantitative Specifications for Verification and Synthesis", Year = "2014", File = "Quantitative Specifications for Verification and Synthesis - Radhakrishna (0) (0) - a - a - d.pdf" }