APA (7th ed.) Citation

Jonsson, B., Lång, M., & Sagonas, K. (2025). Awaiting for Godot: Stateless model checking that avoids executions where nothing happens. Formal Methods in System Design, 67(1), 71-105. https://doi.org/10.1007/s10703-025-00479-0

Chicago Style (17th ed.) Citation

Jonsson, Bengt, Magnus Lång, and Konstantinos Sagonas. "Awaiting for Godot: Stateless Model Checking That Avoids Executions Where Nothing Happens." Formal Methods in System Design 67, no. 1 (2025): 71-105. https://doi.org/10.1007/s10703-025-00479-0.

MLA (9th ed.) Citation

Jonsson, Bengt, et al. "Awaiting for Godot: Stateless Model Checking That Avoids Executions Where Nothing Happens." Formal Methods in System Design, vol. 67, no. 1, 2025, pp. 71-105, https://doi.org/10.1007/s10703-025-00479-0.