@article{Chambart_2016,
    doi = {10.1016/j.tcs.2016.04.020},
    url = {https://doi.org/10.1016%2Fj.tcs.2016.04.020},
    year = {2016},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {637},
    pages = {1--29},
    author = {Pierre Chambart and Alain Finkel and Sylvain Schmitz},
    title = {Forward analysis and model checking for trace bounded {WSTS}},
    journal = {Theoretical Computer Science}
}

@article{Chambart_2016, doi = {10.1016/j.tcs.2016.04.020}, url = {https://doi.org/10.1016%2Fj.tcs.2016.04.020}, year = {2016}, month = {jul}, publisher = {Elsevier {BV}}, volume = {637}, pages = {1--29}, author = {Pierre Chambart and Alain Finkel and Sylvain Schmitz}, title = {Forward analysis and model checking for trace bounded {WSTS}}, journal = {Theoretical Computer Science} }