@proceedings{neele_model_2024,
    title = {{Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings}},
    editor = {Neele, Thomas and Wijs, Anton J.},
    year = {2024},
    publisher = {Springer},
    series = {LNCS},
    volume = {14624},
    doi = {10.1007/978-3-031-66149-5},
}