APA (7th ed.) Citation

Amrollahi, D., Bartocci, E., Kenison, G., Kovács, L., Moosbrugger, M., & Stankovič, M. (2025). Correction: (Un)Solvable loop analysis. Formal Methods in System Design, 67(3), 373. https://doi.org/10.1007/s10703-024-00465-y

Chicago Style (17th ed.) Citation

Amrollahi, Daneshvar, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, and Miroslav Stankovič. "Correction: (Un)Solvable Loop Analysis." Formal Methods in System Design 67, no. 3 (2025): 373. https://doi.org/10.1007/s10703-024-00465-y.

MLA (9th ed.) Citation

Amrollahi, Daneshvar, et al. "Correction: (Un)Solvable Loop Analysis." Formal Methods in System Design, vol. 67, no. 3, 2025, p. 373, https://doi.org/10.1007/s10703-024-00465-y.