Space Reductions for Model Checking Quasi-Cyclic Systems.

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

Browse the full EMSOFT paper archive.