@PhdThesis{       Schwoon,
  Author        = "Schwoon, Stefan",
  date-added    = "2012-03-06 11:31:14 +0100",
  date-modified = "2012-03-06 11:31:55 +0100",
  Keywords      = "model checking and pushdown automata",
  School        = "Munich University",
  Title         = "Model-Checking Pushdown Systems",
  Year          = "2002",
  File          = "Model-Checking Pushdown Systems - Schwoon (0) (0) - a - a - j.pdf"
}

@PhdThesis{ Schwoon, Author = "Schwoon, Stefan", date-added = "2012-03-06 11:31:14 +0100", date-modified = "2012-03-06 11:31:55 +0100", Keywords = "model checking and pushdown automata", School = "Munich University", Title = "Model-Checking Pushdown Systems", Year = "2002", File = "Model-Checking Pushdown Systems - Schwoon (0) (0) - a - a - j.pdf" }