Lechner, A., & Worrell, J. (2016). Extensions of Presburger arithmetic and model checking one-counter automata.
Chicago Style (17th ed.) CitationLechner, A., and J. Worrell. Extensions of Presburger Arithmetic and Model Checking One-counter Automata. 2016.
MLA (9th ed.) CitationLechner, A., and J. Worrell. Extensions of Presburger Arithmetic and Model Checking One-counter Automata. 2016.
Warning: These citations may not always be 100% accurate.