Hao Zheng, Andrew Price, Chris J. Myers. Using decision diagrams to compactly represent the state space for explicit model checking. In 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012. pages 17-24, IEEE Computer Society, 2012. [doi]
Abstract is missing.