APA-Zitierstil (7. Ausg.)

Zhu, L., Zhang, X., Li, Y., & Cai, S. (2025, June 22). Leveraging Critical Proof Obligations for Efficient IC3 Verification. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11132734

Chicago-Zitierstil (17. Ausg.)

Zhu, Lingfeng, Xindi Zhang, Yongjian Li, und Shaowei Cai. "Leveraging Critical Proof Obligations for Efficient IC3 Verification." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11132734.

MLA-Zitierstil (9. Ausg.)

Zhu, Lingfeng, et al. "Leveraging Critical Proof Obligations for Efficient IC3 Verification." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11132734.