Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao. Counterexample-Preserving Reduction for Symbolic Model Checking. J. Applied Mathematics, 2014, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.