TY  - RPRT
TI  - On the size of data structures used in symbolic model checking
AU  - Paolo Liberatore
AU  - Marco Schaerf
PY  - 2010
DO  - 10.1109/tc.2015.2512872
UR  - https://arxiv.org/abs/1012.3018
ID  - 1012.3018
ER  -