The Covering and Boundedness Problems for Branching Vector Addition Systems

@inproceedings{Demri2009TheCA,
  title={The Covering and Boundedness Problems for Branching Vector Addition Systems},
  author={St{\'e}phane Demri and Marcin Jurdzinski and Oded Lachish and Ranko Lazic},
  booktitle={FSTTCS},
  year={2009}
}