Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

Johnsen, A., K. Lundqvist, P. Pettersson, a 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.

Citace podle MLA (9th ed.)

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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..