@PhdThesis{       Lin,
  Author        = "Lin, Anthony Widjaja",
  date-added    = "2012-04-03 12:15:01 +0200",
  date-modified = "2012-04-03 12:21:31 +0200",
  Keywords      = "automata theory and temporal logic",
  School        = "School of Informatics",
  Title         = "Model Checking Infinite-State Systems: Generic and Specific Approaches",
  Year          = "2010",
  File          = "Model Checking Infinite-State Systems Generic and Specific Approaches - Lin (0) (0) - a - a - p.pdf",
  file-2        = "Model Checking Infinite-State Systems Generic and Specific Approaches - Lin (1) (0) - a - a - p.pdf",
  file-3        = "anthony-thesis-with-comments (0) - a - a - p.pdf"
}

@PhdThesis{ Lin, Author = "Lin, Anthony Widjaja", date-added = "2012-04-03 12:15:01 +0200", date-modified = "2012-04-03 12:21:31 +0200", Keywords = "automata theory and temporal logic", School = "School of Informatics", Title = "Model Checking Infinite-State Systems: Generic and Specific Approaches", Year = "2010", File = "Model Checking Infinite-State Systems Generic and Specific Approaches - Lin (0) (0) - a - a - p.pdf", file-2 = "Model Checking Infinite-State Systems Generic and Specific Approaches - Lin (1) (0) - a - a - p.pdf", file-3 = "anthony-thesis-with-comments (0) - a - a - p.pdf" }