TY  - RPRT
TI  - Model Checking ofWorkflow Nets with Tables and Constraints
AU  - Jian Song
AU  - Guanjun Liu
PY  - 2023
UR  - https://arxiv.org/abs/2307.03685
ID  - 2307.03685
ER  -