TY  - RPRT
TI  - Verification of Query Completeness over Processes [Extended Version]
AU  - Simon Razniewski
AU  - Marco Montali
AU  - Werner Nutt
PY  - 2013
UR  - https://arxiv.org/abs/1306.1689
ID  - 1306.1689
ER  -