ISO-690 (author-date, English)

NEELE, Thomas und WIJS, Anton (Hrsg.). 1 st ed. 2025. Cham: Springer Nature Switzerland. ISBN 9783031661495.

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

Neele T, Wijs A (Hrsg.) (2025) Model Checking Software : 30 th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings, 1 st ed. 2025. Springer Nature Switzerland, Cham

Juristische Zitierweise (Stüber) (Deutsch)

Neele, Thomas/ Wijs, Anton (Hrsg.), Model Checking Software : 30 th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings, 1 st ed. 2025 , Cham 2025.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.