ISO-690 (author-date, English)

LOCHBIHLER, Andreas, 2012. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. [Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing.

Elsevier - Harvard (with titles)

Lochbihler, A., 2012. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing, [Erscheinungsort nicht ermittelbar].

American Psychological Association 7th edition

Lochbihler, A. (ca. 2012). A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler [Cd]. KIT Scientific Publishing.

Springer - Basic (author-date)

Lochbihler A (2012) A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing

Juristische Zitierweise (Stüber) (Deutsch)

Lochbihler, Andreas, A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler, [Erscheinungsort nicht ermittelbar] 2012.

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