A New Decomposition Method to Relieve the State Space Explosion Problem.

Xiaobo Li, Richard Lai, Tharam S. Dillon

Browse the full ICCI paper archive.