DemriJLL09'

@inproceedings{DBLP:conf/fsttcs/DemriJLL09,
  author    = {St{\'e}phane Demri and
               Marcin Jurdzinski and
               Oded Lachish and
               Ranko Lazic},
  title     = {The Covering and Boundedness Problems for Branching Vector
               Addition Systems},
  booktitle = {FSTTCS},
  year      = {2009},
  pages     = {181-192},
  ee        = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2009.2317},
  crossref  = {DBLP:conf/fsttcs/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fsttcs/2009,
  editor    = {Ravi Kannan and
               K. Narayan Kumar},
  title     = {IARCS Annual Conference on Foundations of Software Technology
               and Theoretical Computer Science, FSTTCS 2009, December
               15-17, 2009, IIT Kanpur, India},
  booktitle = {FSTTCS},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series    = {LIPIcs},
  volume    = {4},
  year      = {2009},
  isbn      = {978-3-939897-13-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}