TY  - RPRT
TI  - Control Explicit---Data Symbolic Model Checking: An Introduction
AU  - Jiri Barnat
AU  - Petr Bauch
PY  - 2013
UR  - https://arxiv.org/abs/1303.7379
ID  - 1303.7379
ER  -