@Article{         DBLP:tr/trier/MI97-06,
  Author        = "Seidl, Helmut and Fecht, Christian",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2013-11-08 12:49:51 +0000",
  date-modified = "2013-11-08 12:50:28 +0000",
  Journal       = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht},
  Keywords      = "interprocedural dataflow analysis",
  Title         = "Interprocedural Analysis Based on PDAs",
  Volume        = "97-06",
  Year          = "1997",
  File          = "Interprocedural Analysis Based on PDAs - Seidl, Fecht (0) (0) - a - a - k.pdf"
}

@Article{ DBLP:tr/trier/MI97-06, Author = "Seidl, Helmut and Fecht, Christian", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2013-11-08 12:49:51 +0000", date-modified = "2013-11-08 12:50:28 +0000", Journal = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht}, Keywords = "interprocedural dataflow analysis", Title = "Interprocedural Analysis Based on PDAs", Volume = "97-06", Year = "1997", File = "Interprocedural Analysis Based on PDAs - Seidl, Fecht (0) (0) - a - a - k.pdf" }