APA (7th ed.) Citation

Johnsen, A., Lundqvist, K., Pettersson, P., & Jaradat, O. (2012, October). Automated Verification of AADL-Specifications Using UPPAAL. 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, 130-138. https://doi.org/10.1109/HASE.2012.22

Chicago Style (17th ed.) Citation

Johnsen, A., K. Lundqvist, P. Pettersson, and O. Jaradat. "Automated Verification of AADL-Specifications Using UPPAAL." 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Oct. 2012: 130-138. https://doi.org/10.1109/HASE.2012.22.

MLA (9th ed.) Citation

Johnsen, A., et al. "Automated Verification of AADL-Specifications Using UPPAAL." 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, Oct. 2012, pp. 130-138, https://doi.org/10.1109/HASE.2012.22.