Cita APA (7a ed.)

Roy, S. G., Ghosh, S., Banerjee, A., Gajavelly, R. K., & Surendran, S. (2026). MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering.

Cita Chicago Style (17a ed.)

Roy, Soumik Guha, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, y Sudhakar Surendran. MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering. 2026.

Cita MLA (9a ed.)

Roy, Soumik Guha, et al. MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering. 2026.