مؤتمر
BIG Backbones
العنوان: | BIG Backbones |
---|---|
المؤلفون: | Froleyks, Nils, Yu, Emily, Biere, Armin |
المصدر: | 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :162-167 Oct, 2023 |
Relation: | 2023 Formal Methods in Computer-Aided Design (FMCAD) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9783854480600 |
---|---|
تدمد: | 27087824 |
DOI: | 10.34727/2023/isbn.978-3-85448-060-0_24 |