Priyanka Golia
发表
Subhajit Roy,
Kuldeep S. Meel,
Priyanka Golia,
2020,
CAV.
Mate Soos,
Priyanka Golia,
Kuldeep S. Meel,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Kuldeep S. Meel,
Subhajit Roy,
Priyanka Golia,
2021,
IJCAI.
Friedrich Slivovsky,
Kuldeep S. Meel,
Subhajit Roy,
2021,
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD).