Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

LEGUNSEN, Owolabi und ROSU, Grigore (Hrsg.). 1 st ed. 2022. Cham: Springer International Publishing. ISBN 9783031150777.

Elsevier - Harvard (with titles)

Legunsen, O., Rosu, G. (Hrsg.), 2022. Model Checking Software : 28 th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, 1 st ed. 2022. ed, Lecture Notes in Computer Science. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-031-15077-7

American Psychological Association 7th edition

Model Checking Software : 28 th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. (ca. 2022). [Cd]. In O. Legunsen & G. Rosu (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2022). Springer International Publishing. https://doi.org/10.1007/978-3-031-15077-7

Springer - Basic (author-date)

Legunsen O, Rosu G (Hrsg.) (2022) Model Checking Software : 28 th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, 1 st ed. 2022. Springer International Publishing, Cham

Juristische Zitierweise (Stüber) (Deutsch)

Legunsen, Owolabi/ Rosu, Grigore (Hrsg.), Model Checking Software : 28 th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, 1 st ed. 2022 , Cham 2022.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.