APA (7th ed.) Citation

Amrollahi, D., Bartocci, E., Kenison, G., Kovács, L., Moosbrugger, M., & Stankovič, M. (2025). (Un)Solvable loop analysis. Formal Methods in System Design, 65(1), 163. https://doi.org/10.1007/s10703-024-00455-0

Chicago Style (17th ed.) Citation

Amrollahi, Daneshvar, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, and Miroslav Stankovič. "(Un)Solvable Loop Analysis." Formal Methods in System Design 65, no. 1 (2025): 163. https://doi.org/10.1007/s10703-024-00455-0.

MLA (9th ed.) Citation

Amrollahi, Daneshvar, et al. "(Un)Solvable Loop Analysis." Formal Methods in System Design, vol. 65, no. 1, 2025, p. 163, https://doi.org/10.1007/s10703-024-00455-0.