TY  - RPRT
TI  - Forward Analysis and Model Checking for Trace Bounded WSTS
AU  - Pierre Chambart
AU  - Alain Finkel
AU  - Sylvain Schmitz
PY  - 2016
DO  - 10.1007/978-3-642-21834-7_4
UR  - https://arxiv.org/abs/1004.2802
ID  - 1004.2802
ER  -