Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th 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, Karlsruhe.

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. Karlsruhe: KIT Scientific Publishing.

Modern Language Association 9th edition

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

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

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

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