CALTAIS, Georgiana und SCHILLING, Christian (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031321573.
Elsevier - Harvard (with titles)Caltais, G., Schilling, C. (Hrsg.), 2023. Model Checking Software : 29 th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings, 1 st ed. 2023. ed, Lecture Notes in Computer Science. Springer Nature Switzerland, Cham. https://doi.org/10.1007/978-3-031-32157-3
American Psychological Association 7th editionModel Checking Software : 29 th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings. (ca. 2023). [Cd]. In G. Caltais & C. Schilling (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-32157-3
Springer - Basic (author-date)Caltais G, Schilling C (Hrsg.) (2023) Model Checking Software : 29 th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings, 1 st ed. 2023. Springer Nature Switzerland, Cham
Juristische Zitierweise (Stüber) (Deutsch)Caltais, Georgiana/ Schilling, Christian (Hrsg.), Model Checking Software : 29 th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings, 1 st ed. 2023 , Cham 2023.