JONSSON, Bengt, LÅNG, Magnus und SAGONAS, Konstantinos, 2025. Awaiting for Godot: stateless model checking that avoids executions where nothing happens. Formal Methods in System Design. 1 Oktober 2025. Vol. 67, no. 1, p. 71-105. DOI 10.1007/s10703-025-00479-0.
Elsevier - Harvard (with titles)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, 71-105. https://doi.org/10.1007/s10703-025-00479-0
American Psychological Association 7th editionJonsson, 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
Springer - Basic (author-date)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:71-105. https://doi.org/10.1007/s10703-025-00479-0
Juristische Zitierweise (Stüber) (Deutsch)Jonsson, Bengt/ Lång, Magnus/ Sagonas, Konstantinos, Awaiting for Godot: stateless model checking that avoids executions where nothing happens., Formal Methods in System Design 2025, 71-105.