APA-Zitierstil (7. Ausg.)

Bögli, R., Lerena, L., Tsigkanos, C., & Kehrer, T. (2024). A Systematic Literature Review on a Decade of Industrial TLA+ Practice.

Chicago-Zitierstil (17. Ausg.)

Bögli, Roman, Leandro Lerena, Christos Tsigkanos, und Timo Kehrer. A Systematic Literature Review on a Decade of Industrial TLA+ Practice. 2024.

MLA-Zitierstil (9. Ausg.)

Bögli, Roman, et al. A Systematic Literature Review on a Decade of Industrial TLA+ Practice. 2024.