RASS, S., JAKOBITSCH, M., HAAN, S. und HIEBLER, M., 2024. Computer-Aided Verification of P/NP Proofs: A Survey and Discussion. IEEE Access, Access, IEEE. 1 Januar 2024. Vol. 12, , p. 13513-13524. DOI 10.1109/ACCESS.2024.3355540.
Elsevier - Harvard (with titles)Rass, S., Jakobitsch, M., Haan, S., Hiebler, M., 2024. Computer-Aided Verification of P/NP Proofs: A Survey and Discussion. IEEE Access, Access, IEEE 12, 13513-13524. https://doi.org/10.1109/ACCESS.2024.3355540
American Psychological Association 7th editionRass, S., Jakobitsch, M., Haan, S., & Hiebler, M. (2024). Computer-Aided Verification of P/NP Proofs: A Survey and Discussion. IEEE Access, Access, IEEE, 12, 13513-13524. https://doi.org/10.1109/ACCESS.2024.3355540
Springer - Basic (author-date)Rass S, Jakobitsch M, Haan S, Hiebler M (2024) Computer-Aided Verification of P/NP Proofs: A Survey and Discussion. IEEE Access, Access, IEEE 12:13513-13524. https://doi.org/10.1109/ACCESS.2024.3355540
Juristische Zitierweise (Stüber) (Deutsch)Rass, S./ Jakobitsch, M./ Haan, S./ Hiebler, M., Computer-Aided Verification of P/NP Proofs: A Survey and Discussion, IEEE Access, Access, IEEE 2024, 13513-13524.