Browsing byAuthorMiao, H
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
2023-01-05 | A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective | Gao, H; Dai, B; Miao, H; Yang, X; Barroso, RJD; Walayat, H |
2019-01-18 | Recent Progress in Two-Dimensional Antimicrobial Nanomaterials | Miao, H; Teng, Z; Wang, C; Chong, H; Wang, G |