Zhang, C., Becker, B. R., Peticolas, D., Olsson, R. A., & Levitt, K. N. (1999). LVT: a layered verification technique for distributed computing systems. Software Testing: Verification & Reliability, 9(2), 107-133. https://doi.org/10.1002/(SICI)1099-1689(199906)9:23.0.CO;2-Y
ISO-690 (author-date, English)ZHANG, Cui, BECKER, Brian R., PETICOLAS, Dave, OLSSON, Ronald A. und LEVITT, Karl N., 1999. LVT: a layered verification technique for distributed computing systems. Software Testing: Verification & Reliability. 1 Juni 1999. Vol. 9, no. 2, p. 107-133. DOI 10.1002/(SICI)1099-1689(199906)9:23.0.CO;2-Y.
Modern Language Association 9th editionZhang, C., B. R. Becker, D. Peticolas, R. A. Olsson, und K. N. Levitt. „LVT: A Layered Verification Technique for Distributed Computing Systems.“. Software Testing: Verification & Reliability, Bd. 9, Nr. 2, Juni 1999, S. 107-33, https://doi.org/10.1002/(SICI)1099-1689(199906)9:23.0.CO;2-Y.
Mohr Siebeck - Recht (Deutsch - Österreich)Zhang, Cui/Becker, Brian R./Peticolas, Dave/Olsson, Ronald A./Levitt, Karl N.: LVT: a layered verification technique for distributed computing systems., Software Testing: Verification & Reliability 1999, 107-133.
Emerald - HarvardZhang, C., Becker, B.R., Peticolas, D., Olsson, R.A. und Levitt, K.N. (1999), „LVT: a layered verification technique for distributed computing systems.“, Software Testing: Verification & Reliability, Vol. 9 No. 2, S. 107-133.