Chen, J. (1999). On Verifying Distributed Multithreaded Java Programs. Software Quality Journal, 8(4), 321-341. https://doi.org/10.1023/a:1008982122316
ISO-690 (author-date, English)CHEN, Jessica, 1999. On Verifying Distributed Multithreaded Java Programs. Software Quality Journal. 1 Dezember 1999. Vol. 8, no. 4, p. 321-341. DOI 10.1023/a:1008982122316.
Modern Language Association 9th editionChen, J. „On Verifying Distributed Multithreaded Java Programs“. Software Quality Journal, Bd. 8, Nr. 4, Dezember 1999, S. 321-4, https://doi.org/10.1023/a:1008982122316.
Mohr Siebeck - Recht (Deutsch - Österreich)Chen, Jessica: On Verifying Distributed Multithreaded Java Programs, Software Quality Journal 1999, 321-341.
Emerald - HarvardChen, J. (1999), „On Verifying Distributed Multithreaded Java Programs“, Software Quality Journal, Vol. 8 No. 4, S. 321-341.