TY  - RPRT
TI  - Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations
AU  - Christian Appold
PY  - 2011
DO  - 10.4204/eptcs.54.2
UR  - https://arxiv.org/abs/1106.1229
ID  - 1106.1229
ER  -