André, É., Lime, D., & Roux, O. H. (2023). Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.
Citazione stile Chigago Style (17a edizione)André, Étienne, Didier Lime, e Olivier H. Roux. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. 2023.
Citatione MLA (9a ed.)André, Étienne, et al. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. 2023.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.