APA (7th ed.) Citation

David, A., Larsen, K. G., Legay, A., Mikučionis, M., & Poulsen, D. B. (2015). Uppaal SMC tutorial. International journal on software tools for technology transfer, 17(4), 397-415. https://doi.org/10.1007/s10009-014-0361-y

Chicago Style (17th ed.) Citation

David, Alexandre, Kim G. Larsen, Axel Legay, Marius Mikučionis, and Danny Bøgsted Poulsen. "Uppaal SMC Tutorial." International Journal on Software Tools for Technology Transfer 17, no. 4 (2015): 397-415. https://doi.org/10.1007/s10009-014-0361-y.

MLA (9th ed.) Citation

David, Alexandre, et al. "Uppaal SMC Tutorial." International Journal on Software Tools for Technology Transfer, vol. 17, no. 4, 2015, pp. 397-415, https://doi.org/10.1007/s10009-014-0361-y.