APA (7th ed.) Citation

Chini, P., Meyer, R., & Saivasan, P. (2020). Fine-Grained Complexity of Safety Verification. Journal of Automated Reasoning, 64(7), 1419. https://doi.org/10.1007/s10817-020-09572-x

Chicago Style (17th ed.) Citation

Chini, Peter, Roland Meyer, and Prakash Saivasan. "Fine-Grained Complexity of Safety Verification." Journal of Automated Reasoning 64, no. 7 (2020): 1419. https://doi.org/10.1007/s10817-020-09572-x.

MLA (9th ed.) Citation

Chini, Peter, et al. "Fine-Grained Complexity of Safety Verification." Journal of Automated Reasoning, vol. 64, no. 7, 2020, p. 1419, https://doi.org/10.1007/s10817-020-09572-x.