公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2004 | BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction | Wang, Farn ; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw | IEEE Transactions on Software Engineering | 4 | 1 |