@PhdThesis{       Cranen,
  Author        = "Cranen, Sjoerd",
  date-added    = "2016-03-26 13:25:00 +0000",
  date-modified = "2016-03-26 13:25:39 +0000",
  School        = "Technische Universiteit Eindhoven",
  Title         = "Getting the point - Obtaining and understanding fixpoints in model checking",
  Year          = "2015",
  File          = "Getting the point - Obtaining and understanding fixpoints in model checking - Cranen (0) (0) - a - a - p.pdf"
}

@PhdThesis{ Cranen, Author = "Cranen, Sjoerd", date-added = "2016-03-26 13:25:00 +0000", date-modified = "2016-03-26 13:25:39 +0000", School = "Technische Universiteit Eindhoven", Title = "Getting the point - Obtaining and understanding fixpoints in model checking", Year = "2015", File = "Getting the point - Obtaining and understanding fixpoints in model checking - Cranen (0) (0) - a - a - p.pdf" }