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

Stoller, S. D. (2002). Model-checking multi-threaded distributed Java programs. International Journal on Software Tools for Technology Transfer, 4(1), 71-91. https://doi.org/10.1007/s10009-002-0077-2

ISO-690 (author-date, English)

STOLLER, Scott D., 2002. Model-checking multi-threaded distributed Java programs. International Journal on Software Tools for Technology Transfer. 1 Oktober 2002. Vol. 4, no. 1, p. 71-91. DOI 10.1007/s10009-002-0077-2.

Modern Language Association 9th edition

Stoller, S. D. „Model-Checking Multi-Threaded Distributed Java Programs.“. International Journal on Software Tools for Technology Transfer, Bd. 4, Nr. 1, Oktober 2002, S. 71-91, https://doi.org/10.1007/s10009-002-0077-2.

Mohr Siebeck - Recht (Deutsch - Österreich)

Stoller, Scott D.: Model-checking multi-threaded distributed Java programs., International Journal on Software Tools for Technology Transfer 2002, 71-91.

Emerald - Harvard

Stoller, S.D. (2002), „Model-checking multi-threaded distributed Java programs.“, International Journal on Software Tools for Technology Transfer, Vol. 4 No. 1, S. 71-91.

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