Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

MLA

Neele, Thomas, and Anton Wijs. Model Checking Software : 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Cham: Springer, 2024.

APA

Neele, T., & Wijs, A. (2024). Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Cham: Springer.

Chicago

Neele, Thomas., and Anton Wijs. Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Cham: Springer, 2024.