International Conference on Formal Methods in Industrial Critical Systems Mailand, 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. https://doi.org/10.1007/978-3-031-68150-9
Chicago-Zitierstil (17. Ausg.)International Conference on Formal Methods in Industrial Critical Systems Mailand, Anne Elisabeth Haxthausen, und Wendelin Serwe. Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings. 1st ed. 2024. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-68150-9.
MLA-Zitierstil (9. Ausg.)International Conference on Formal Methods in Industrial Critical Systems Mailand, et al. Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings. 1st ed. 2024. Springer, 2024. https://doi.org/10.1007/978-3-031-68150-9.