APA (7th ed.) Citation

Cattaruzza, D., Abate, A., Schrammel, P., & Kroening, D. (2021). Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. Journal of Automated Reasoning, 65(2), 157. https://doi.org/10.1007/s10817-020-09562-z

Chicago Style (17th ed.) Citation

Cattaruzza, Dario, Alessandro Abate, Peter Schrammel, and Daniel Kroening. "Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration." Journal of Automated Reasoning 65, no. 2 (2021): 157. https://doi.org/10.1007/s10817-020-09562-z.

MLA (9th ed.) Citation

Cattaruzza, Dario, et al. "Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration." Journal of Automated Reasoning, vol. 65, no. 2, 2021, p. 157, https://doi.org/10.1007/s10817-020-09562-z.