APA-Zitierstil (7. Ausg.)

Behrmann, G., David, A., Larsen, K. G., Pettersson, P., & Yi, W. (2011). Developing U PPAAL over 15 years. Software, practice & experience, 41(2), 133-142. https://doi.org/10.1002/spe.1006

Chicago-Zitierstil (17. Ausg.)

Behrmann, Gerd, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, und Wang Yi. "Developing U PPAAL over 15 Years." Software, Practice & Experience 41, no. 2 (2011): 133-142. https://doi.org/10.1002/spe.1006.

MLA-Zitierstil (9. Ausg.)

Behrmann, Gerd, et al. "Developing U PPAAL over 15 Years." Software, Practice & Experience, vol. 41, no. 2, 2011, pp. 133-142, https://doi.org/10.1002/spe.1006.