Partial Order Reduction for State/Event Systems.

Shuanglong Kan, Zhiqiu Huang, Zhe Chen

Browse the full ICFEM paper archive.