TY  - RPRT
TI  - An Operational Semantics for Activity Diagrams using SMV
AU  - Shahar Maoz
AU  - Jan Oliver Ringert
AU  - Bernhard Rumpe
PY  - 2014
UR  - https://arxiv.org/abs/1409.2356
ID  - 1409.2356
ER  -