@misc{indiciaef1fb33d0527e,
  title = {Forward Analysis and Model Checking for Trace Bounded WSTS},
  author = {Pierre Chambart and Alain Finkel and Sylvain Schmitz},
  year = {2016},
  doi = {10.1007/978-3-642-21834-7\_4},
  url = {https://arxiv.org/abs/1004.2802},
  note = {Source identifier: 1004.2802}
}