@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}
}