APA-Zitierstil (7. Ausg.)

Olderog, E., Steffen, B., & Yi, W. (2021). Model checking, synthesis, and learning: Essays dedicated to Bengt Jonsson on The occasion of his 60th birthday (1st ed. 2021.). Springer. https://doi.org/10.1007/978-3-030-91384-7

Chicago-Zitierstil (17. Ausg.)

Olderog, Ernst-Rüdiger, Bernhard Steffen, und Wang Yi. Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. 1st ed. 2021. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-91384-7.

MLA-Zitierstil (9. Ausg.)

Olderog, Ernst-Rüdiger, et al. Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. 1st ed. 2021. Springer, 2021. https://doi.org/10.1007/978-3-030-91384-7.