APA (7th ed.) Citation

Neele, T., & Wijs, A. (2025). Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (1st ed. 2025.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-66149-5

Chicago Style (17th ed.) Citation

Neele, Thomas, and Anton Wijs. Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. 1st ed. 2025. Cham: Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-66149-5.

MLA (9th ed.) Citation

Neele, Thomas, and Anton Wijs. Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. 1st ed. 2025. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-66149-5.