APA (7th ed.) Citation

Bouyer, P., Fahrenberg, U., & Larsen, K. G. (2011). Quantitative Analysis of Real-Time Systems Using Priced Timed Automata. Communications of the ACM, 54(9), 78. https://doi.org/10.1145/1995376.1995396

Chicago Style (17th ed.) Citation

Bouyer, Patricia, Uli Fahrenberg, and Kim G. Larsen. "Quantitative Analysis of Real-Time Systems Using Priced Timed Automata." Communications of the ACM 54, no. 9 (2011): 78. https://doi.org/10.1145/1995376.1995396.

MLA (9th ed.) Citation

Bouyer, Patricia, et al. "Quantitative Analysis of Real-Time Systems Using Priced Timed Automata." Communications of the ACM, vol. 54, no. 9, 2011, p. 78, https://doi.org/10.1145/1995376.1995396.