Roy, S. G., Ghosh, S., Banerjee, A., Gajavelly, R. K., & Surendran, S. (2026). MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering.
Chicago-Zitierstil (17. Ausg.)Roy, Soumik Guha, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, und Sudhakar Surendran. MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering. 2026.
MLA-Zitierstil (9. Ausg.)Roy, Soumik Guha, et al. MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.