American Psychological Association 6th edition

Artho, C., Hagiya, M., Leungwattanakit, W., Tanabe, Y., & Yamamoto, M. (2010). Model Checking of Concurrent Algorithms: From Java to C. https://doi.org/10.1007/978-3-642-15234-4_10

ISO-690 (author-date, English)

ARTHO, Cyrille, HAGIYA, Masami, LEUNGWATTANAKIT, Watcharin, TANABE, Yoshinori und YAMAMOTO, Mitsuharu, 2010. Model Checking of Concurrent Algorithms: From Java to C.

Modern Language Association 9th edition

Artho, C., M. Hagiya, W. Leungwattanakit, Y. Tanabe, und M. Yamamoto. Model Checking of Concurrent Algorithms: From Java to C. 2010, https://doi.org/10.1007/978-3-642-15234-4_10.

Mohr Siebeck - Recht (Deutsch - Österreich)

Artho, Cyrille/Hagiya, Masami/Leungwattanakit, Watcharin/Tanabe, Yoshinori/Yamamoto, Mitsuharu: Model Checking of Concurrent Algorithms: From Java to C., 2010.

Emerald - Harvard

Artho, C., Hagiya, M., Leungwattanakit, W., Tanabe, Y. und Yamamoto, M. (2010), Model Checking of Concurrent Algorithms: From Java to C., Bd. , verfügbar unter:https://doi.org/10.1007/978-3-642-15234-4_10.

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