ISO-690 (author-date, English)

JIMÉNEZ GONZÁLEZ, Adrián, UNIVERSITAT POLITÈCNICA DE CATALUNYA. DEPARTAMENT D’ARQUITECTURA DE COMPUTADORS, MORENO VEGA, Alberto und ESPASA SANS, Roger, 2024. Applying formal verification techniques to verify a Fetch Unit. Universitat Politècnica de Catalunya.

Elsevier - Harvard (with titles)

Jiménez González, A., Universitat Politècnica de Catalunya. Departament d’Arquitectura de Computadors, Moreno Vega, A., Espasa Sans, R., 2024. Applying formal verification techniques to verify a Fetch Unit. Universitat Politècnica de Catalunya.

American Psychological Association 7th edition

Jiménez González, A., Universitat Politècnica de Catalunya. Departament d’Arquitectura de Computadors, Moreno Vega, A., & Espasa Sans, R. (2024). Applying formal verification techniques to verify a Fetch Unit. Universitat Politècnica de Catalunya.

Springer - Basic (author-date)

Jiménez González A, Universitat Politècnica de Catalunya. Departament d’Arquitectura de Computadors, Moreno Vega A, Espasa Sans R (2024) Applying formal verification techniques to verify a Fetch Unit. Universitat Politècnica de Catalunya

Juristische Zitierweise (Stüber) (Deutsch)

Jiménez González, Adrián/ Universitat Politècnica de Catalunya. Departament d’Arquitectura de Computadors/ Moreno Vega, Alberto/ Espasa Sans, Roger, Applying formal verification techniques to verify a Fetch Unit, 2024.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.