TY  - RPRT
TI  - A Two Step Perspective for Kripke Structure Reduction
AU  - Arpit Sharma
PY  - 2012
UR  - https://arxiv.org/abs/1210.0408
ID  - 1210.0408
ER  -