Balasubramanian, A.R., Chistikov, D. und Majumdar, R. (2025) „Pushdown Model Checking above the Cubic Bottleneck“, in. doi:10.1109/LICS65433.2025.00053.
Chicago Manual of Style 17th edition (full note)Balasubramanian, A. R., Dmitry Chistikov, und Rupak Majumdar. „Pushdown Model Checking above the Cubic Bottleneck“. In . https://doi.org/10.1109/LICS65433.2025.00053.
American Psychological Association 7th editionBalasubramanian, A. R., Chistikov, D., & Majumdar, R. (2025, Juni 23). Pushdown Model Checking above the Cubic Bottleneck. https://doi.org/10.1109/LICS65433.2025.00053
Modern Language Association 9th editionBalasubramanian, A. R., D. Chistikov, und R. Majumdar. Pushdown Model Checking above the Cubic Bottleneck. 2025, https://doi.org/10.1109/LICS65433.2025.00053.
ISO-690 (author-date, Deutsch)BALASUBRAMANIAN, A. R., Dmitry CHISTIKOV und Rupak MAJUMDAR, 2025. Pushdown Model Checking above the Cubic Bottleneck. In: . 23 Juni 2025