TY  - RPRT
TI  - Constraint-Based Deadlock Checking of High-Level Specifications
AU  - Stefan Hallerstede
AU  - Michael Leuschel
PY  - 2011
UR  - https://arxiv.org/abs/1109.2015
ID  - 1109.2015
ER  -