Rule flow logic verification: A simulation based approach.

Chunhua Tian, Hao Zhang, Feng Li

Browse the full WSC paper archive.