Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Ball, T., Jones, R. B., Sen, K., & Viswanathan, M. (2006). Model Checking Multithreaded Programs with Asynchronous Atomic Methods. https://doi.org/10.1007/11817963_29

ISO-690 (author-date, English)

BALL, Thomas, JONES, Robert B., SEN, Koushik und VISWANATHAN, Mahesh, 2006. Model Checking Multithreaded Programs with Asynchronous Atomic Methods.

Modern Language Association 9th edition

Ball, T., R. B. Jones, K. Sen, und M. Viswanathan. Model Checking Multithreaded Programs with Asynchronous Atomic Methods. 2006, https://doi.org/10.1007/11817963_29.

Mohr Siebeck - Recht (Deutsch - Österreich)

Ball, Thomas/Jones, Robert B./Sen, Koushik/Viswanathan, Mahesh: Model Checking Multithreaded Programs with Asynchronous Atomic Methods., 2006.

Emerald - Harvard

Ball, T., Jones, R.B., Sen, K. und Viswanathan, M. (2006), Model Checking Multithreaded Programs with Asynchronous Atomic Methods., Bd. , verfügbar unter:https://doi.org/10.1007/11817963_29.

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