| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2012 | Thread-Modular Model Checking with Iterative Refinement | Wenrui Meng; Fei He; Bow-Yaw Wang ; Qiang Liu | ||||
| 2013 | VCS: A Verifier for Component-Based Systems | Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng |
