Beyazit Yalcinkaya
发表
Niklas T. Lauffer,
S. Seshia,
Marcell Vazquez-Chanlatte,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Jonathan A. DeCastro,
G. Rosman,
S. Seshia,
2023,
arXiv.org.
Mitra Nasri,
Björn B. Brandenburg,
Beyazit Yalcinkaya,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).