公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Y.-F. Chen; E.M. Clarke; A. Farzan; F. He; M.-H. Tsai; Y.-K. Tsay; B.-Y. Wang; L. Zhu | ||||
2008 | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages | A. Farzan; Y.-F. Chen; E.M. Clarke; Y.-K. Tsay; B.-Y. Wang |