APA (7th ed.) Citation

FEEKEN, L., & FRÄNZLE, M. (2026). TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION. Logical Methods in Computer Science (LMCS), 22(1), 29:1. https://doi.org/10.46298/LMCS-22(1:29)2026

Chicago Style (17th ed.) Citation

FEEKEN, LINDA, and MARTIN FRÄNZLE. "TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION." Logical Methods in Computer Science (LMCS) 22, no. 1 (2026): 29:1. https://doi.org/10.46298/LMCS-22(1:29)2026.

MLA (9th ed.) Citation

FEEKEN, LINDA, and MARTIN FRÄNZLE. "TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION." Logical Methods in Computer Science (LMCS), vol. 22, no. 1, 2026, p. 29:1, https://doi.org/10.46298/LMCS-22(1:29)2026.