APA (7th ed.) Citation

SpringerLink (Online service), Haxthausen, A. E., & Serwe, W. (2024). Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (1st ed. 2024.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-68150-9

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Anne E. Haxthausen, and Wendelin Serwe. Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. 1st ed. 2024. Cham: Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-68150-9.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. 1st ed. 2024. Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-68150-9.