ISO-690 (author-date, English)

HANNA, Ziyad und MELHAM, Tom, 2011. A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture [online]. University of Oxford, 2011. Available from: http://ethos.bl.uk/Order Details.do?uin=uk.bl.ethos.560923

Elsevier - Harvard (with titles)

Hanna, Z., Melham, T., 2011. A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture. University of Oxford, 2011.

American Psychological Association 7th edition

Hanna, Z., & Melham, T. (2011). A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture. University of Oxford, 2011. http://ethos.bl.uk/Order Details.do?uin=uk.bl.ethos.560923

Springer - Basic (author-date)

Hanna Z, Melham T (2011) A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture. University of Oxford, 2011

Juristische Zitierweise (Stüber) (Deutsch)

Hanna, Ziyad/ Melham, Tom, A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture, 2011.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.