@PhdThesis{       Keiren,
  Author        = "Keiren, Jeroen",
  date-added    = "2016-03-26 13:15:57 +0000",
  date-modified = "2016-03-26 13:16:28 +0000",
  School        = "Technische Universiteit Eindhoven",
  Title         = "Advanced Reduction Techniques for Model Checking",
  Year          = "2013",
  File          = "Advanced Reduction Techniques for Model Checking - Keiren (0) (0) - a - a - k.pdf"
}

@PhdThesis{ Keiren, Author = "Keiren, Jeroen", date-added = "2016-03-26 13:15:57 +0000", date-modified = "2016-03-26 13:16:28 +0000", School = "Technische Universiteit Eindhoven", Title = "Advanced Reduction Techniques for Model Checking", Year = "2013", File = "Advanced Reduction Techniques for Model Checking - Keiren (0) (0) - a - a - k.pdf" }