Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Formal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. [ca. 2023]. In M. Chechik, J.-P. Katoen, & M. Leucker (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023) [Cd]. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-031-27481-7

ISO-690 (author-date, English)

CHECHIK, Marsha, KATOEN, Joost-Pieter und LEUCKER, Martin (Hrsg.). 1 st ed. 2023. Cham: Springer International Publishing. ISBN 9783031274817.

Modern Language Association 9th edition

Chechik, M., J.-P. Katoen, und M. Leucker, Herausgeber. „Formal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings“. Lecture Notes in Computer Science, 1 st ed. 2023, cd, Springer International Publishing, 2023, https://doi.org/10.1007/978-3-031-27481-7.

Mohr Siebeck - Recht (Deutsch - Österreich)

: Formal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings, 1 st ed. 2023. Aufl. Cham 2023.

Emerald - Harvard

Chechik, M., Katoen, J.-P. und Leucker, M. (Hrsg.). (2023), Formal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings, Lecture Notes in Computer Science, 1 st ed. 2023., Bd. , Springer International Publishing, Cham, verfügbar unter:https://doi.org/10.1007/978-3-031-27481-7.

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