APA (7th ed.) Citation

ANDRÉ, É., LIME, D., & ROUX, O. H. (2026). DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA. Logical Methods in Computer Science (LMCS), 22(2), 1. https://doi.org/10.46298/LMCS-22(2:11)2026

Chicago Style (17th ed.) Citation

ANDRÉ, ÉTIENNE, DIDIER LIME, and OLIVIER H. ROUX. "DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA." Logical Methods in Computer Science (LMCS) 22, no. 2 (2026): 1. https://doi.org/10.46298/LMCS-22(2:11)2026.

MLA (9th ed.) Citation

ANDRÉ, ÉTIENNE, et al. "DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA." Logical Methods in Computer Science (LMCS), vol. 22, no. 2, 2026, p. 1, https://doi.org/10.46298/LMCS-22(2:11)2026.