APA (7th ed.) Citation

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 Style (17th ed.) Citation

Behrmann, Gerd, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, and 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 (9th ed.) Citation

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.