André, É., Lime, D., & Roux, O. H. (2023). Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.
Chicago Style (17th ed.) CitationAndré, Étienne, Didier Lime, and Olivier H. Roux. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. 2023.
MLA (9th ed.) CitationAndré, Étienne, et al. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. 2023.
Warning: These citations may not always be 100% accurate.