Citação norma APA

SpringerLink (Online service), 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 : Imprint: Springer. https://doi.org/10.1007/978-3-031-66149-5

Citação norma Chicago

SpringerLink (Online service), Thomas Neele, 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 : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-66149-5.

Citação norma MLA

SpringerLink (Online service), et al. Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-66149-5.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.