Su, Y., Li, Y., Yang, Q., Ci, Y., & Huang, Z. (2025, June 22). Property-driven Parallel Symbolic Model Checking of LTL. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11133195
Chicago-Zitierstil (17. Ausg.)Su, Yuheng, Yingcheng Li, Qiusong Yang, Yiwei Ci, und Ziyu Huang. "Property-driven Parallel Symbolic Model Checking of LTL." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11133195.
MLA-Zitierstil (9. Ausg.)Su, Yuheng, et al. "Property-driven Parallel Symbolic Model Checking of LTL." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11133195.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.