Citáce podľa APA (7th ed.)

Drechsler, R., & Mahzoon, A. (2022, October 29). Polynomial Formal Verification: Ensuring Correctness under Resource Constraints : (Invited Paper). 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9. https://doi.org/10.1145/3508352.3561104

Citácia podle Chicago (17th ed.)

Drechsler, Rolf, a Alireza Mahzoon. "Polynomial Formal Verification: Ensuring Correctness Under Resource Constraints : (Invited Paper)." 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) 29 Oct. 2022: 1-9. https://doi.org/10.1145/3508352.3561104.

Citácia podľa MLA (8th ed.)

Drechsler, Rolf, a Alireza Mahzoon. "Polynomial Formal Verification: Ensuring Correctness Under Resource Constraints : (Invited Paper)." 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 29 Oct. 2022, pp. 1-9, https://doi.org/10.1145/3508352.3561104.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..