Cita APA (7a ed.)

Johansson, B., Pourvatan, B., Moezkarimi, Z., Papadopoulos, A., & Sirjani, M. (2024). Formal Verification of Consistency for Systems with Redundant Controllers.

Cita Chicago Style (17a ed.)

Johansson, Bjarne, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, y Marjan Sirjani. Formal Verification of Consistency for Systems with Redundant Controllers. 2024.

Cita MLA (9a ed.)

Johansson, Bjarne, et al. Formal Verification of Consistency for Systems with Redundant Controllers. 2024.