TY  - RPRT
TI  - A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP
AU  - Lucas Lima
AU  - Amaury Tavares
AU  - Sidney C. Nogueira
PY  - 2019
UR  - https://arxiv.org/abs/1910.13638
ID  - 1910.13638
ER  -