TY  - RPRT
TI  - Generating Concurrency Checks Automatically
AU  - Jonathan Hoyland
AU  - Matthew Hague
PY  - 2016
UR  - https://arxiv.org/abs/1604.06747
ID  - 1604.06747
ER  -