A Novel Approach of CTL Model Checking Based on Probe Machine.

Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang

Browse the full SEKE paper archive.