APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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