@InProceedings{   Esparza:Knoop:DFA:1999,
  Author        = "Esparza, Javier and Knoop, Jens",
  acmid         = "704545",
  Address       = "London, UK, UK",
  BookTitle     = {Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held As Part of the European Joint Conferences on the Theory and Practice of Software},
  date-added    = "2013-11-25 18:36:02 +0000",
  date-modified = "2015-02-12 13:56:38 +0000",
  ISBN          = "3-540-65719-3",
  Keywords      = "dataflow analysis",
  numpages      = "17",
  Pages         = "14--30",
  Publisher     = "Springer-Verlag",
  Series        = {FoSSaCS '99},
  Title         = "An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis",
  URL           = "http://dl.acm.org/citation.cfm?id=646791.704545",
  doi           = {10.1007/3-540-49019-1_2},
  year          = "1999",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?id=646791.704545",
  File          = "An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis - Esparza, Knoop (0) (0) - a - a - y.pdf"
}

@InProceedings{ Esparza:Knoop:DFA:1999, Author = "Esparza, Javier and Knoop, Jens", acmid = "704545", Address = "London, UK, UK", BookTitle = {Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held As Part of the European Joint Conferences on the Theory and Practice of Software}, date-added = "2013-11-25 18:36:02 +0000", date-modified = "2015-02-12 13:56:38 +0000", ISBN = "3-540-65719-3", Keywords = "dataflow analysis", numpages = "17", Pages = "14--30", Publisher = "Springer-Verlag", Series = {FoSSaCS '99}, Title = "An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis", URL = "http://dl.acm.org/citation.cfm?id=646791.704545", doi = {10.1007/3-540-49019-1_2}, year = "1999", bdsk-url-1 = "http://dl.acm.org/citation.cfm?id=646791.704545", File = "An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis - Esparza, Knoop (0) (0) - a - a - y.pdf" }