Cita APA (7a ed.)

Wetzlinger, M., Kochdumper, N., Bak, S., & Althoff, M. (2022). Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets.

Cita Chicago Style (17a ed.)

Wetzlinger, Mark, Niklas Kochdumper, Stanley Bak, y Matthias Althoff. Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. 2022.

Cita MLA (9a ed.)

Wetzlinger, Mark, et al. Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. 2022.