| emsoft | participants

Xianghua Deng

EMSOFT 2003: 3rd International Conference on Embedded Software

Space Reductions for Model Checking Quasi-Cyclic Systems

Matthew B. Dwyer, Non Robby, Xianghua Deng, and John Hatcliff