公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2014 | Symbolic Assume-Guarantee Reasoning through BDD Learning | Fei He; Bow-Yaw Wang; Liangze Yin; Lei Zhu | ||||
2013 | VCS: A Verifier for Component-Based Systems | Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng |