Glässer, U., Creissac Campos, J., Méry, D., & Palanque, P. (2023). Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (1st ed. 2023.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-33163-3
Chicago-Zitierstil (17. Ausg.)Glässer, Uwe, Jose Creissac Campos, Dominique Méry, und Philippe Palanque. Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings. 1st ed. 2023. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-33163-3.
MLA-Zitierstil (9. Ausg.)Glässer, Uwe, et al. Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings. 1st ed. 2023. Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-33163-3.