公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2009 | Learning minimal separating DFA's for compositional verification | Chen, Y.-F.; Farzan, A.; Clarke, E.M.; YIH-KUEN TSAY ; Wang, B.-Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |