APA (7th ed.) Citation

André, É., Lime, D., & Roux, O. H. (2023). Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.

Chicago Style (17th ed.) Citation

André, Étienne, Didier Lime, and Olivier H. Roux. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. 2023.

MLA (9th ed.) Citation

André, Étienne, et al. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. 2023.