@InProceedings{   DBLP:conf/fsttcs/AtigG11,
  Author        = "Atig, Mohamed Faouzi and Ganty, Pierre",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "FSTTCS",
  date-added    = "2013-11-11 13:07:53 +0000",
  date-modified = "2013-11-11 13:07:59 +0000",
  ee            = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.152",
  Keywords      = "vector addition systems",
  Pages         = "152-163",
  Title         = "Approximating Petri Net Reachability Along Context-free Traces",
  Year          = "2011",
  File          = "Approximating Petri Net Reachability Along Context-free Traces - Atig, Ganty (0) (0) - a - a - m.pdf"
}

@InProceedings{ DBLP:conf/fsttcs/AtigG11, Author = "Atig, Mohamed Faouzi and Ganty, Pierre", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "FSTTCS", date-added = "2013-11-11 13:07:53 +0000", date-modified = "2013-11-11 13:07:59 +0000", ee = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.152", Keywords = "vector addition systems", Pages = "152-163", Title = "Approximating Petri Net Reachability Along Context-free Traces", Year = "2011", File = "Approximating Petri Net Reachability Along Context-free Traces - Atig, Ganty (0) (0) - a - a - m.pdf" }