TY  - RPRT
TI  - Model Checking of Boolean Process Models
AU  - Christoph Schneider
AU  - Joachim Wehler
PY  - 2011
UR  - https://arxiv.org/abs/1105.0653
ID  - 1105.0653
ER  -