A Constraint-Pattern Based Method for Reachability Determination.

Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

Browse the full COMPSAC paper archive.