APA (7th ed.) Citation

Demri, S., Dhar, A. K., & Sangnier, A. (2018). Equivalence between model-checking flat counter systems and Presburger arithmetic. Theoretical Computer Science, 735, 2. https://doi.org/10.1016/j.tcs.2017.07.007

Chicago Style (17th ed.) Citation

Demri, Stéphane, Amit Kumar Dhar, and Arnaud Sangnier. "Equivalence Between Model-checking Flat Counter Systems and Presburger Arithmetic." Theoretical Computer Science 735 (2018): 2. https://doi.org/10.1016/j.tcs.2017.07.007.

MLA (9th ed.) Citation

Demri, Stéphane, et al. "Equivalence Between Model-checking Flat Counter Systems and Presburger Arithmetic." Theoretical Computer Science, vol. 735, 2018, p. 2, https://doi.org/10.1016/j.tcs.2017.07.007.