APA-Zitierstil (7. Ausg.)

SPIN Peking, Biondi, F., Given-Wilson, T., & Legay, A. (2019). Model checking software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. Springer. https://doi.org/10.1007/978-3-030-30923-7

Chicago-Zitierstil (17. Ausg.)

SPIN Peking, Fabrizio Biondi, Thomas Given-Wilson, und Axel Legay. Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. Cham: Springer, 2019. https://doi.org/10.1007/978-3-030-30923-7.

MLA-Zitierstil (9. Ausg.)

SPIN Peking, et al. Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. Springer, 2019. https://doi.org/10.1007/978-3-030-30923-7.