SPIN Paris, Caltais, G., & Schilling, C. (2023). Model checking software: 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023, proceedings. Springer. https://doi.org/10.1007/978-3-031-32157-3
Chicago-Zitierstil (17. Ausg.)SPIN Paris, Georgiana Caltais, und Christian Schilling. Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings. Cham, Switzerland: Springer, 2023. https://doi.org/10.1007/978-3-031-32157-3.
MLA-Zitierstil (9. Ausg.)SPIN Paris, et al. Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings. Springer, 2023. https://doi.org/10.1007/978-3-031-32157-3.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.