APA (7th ed.) Citation

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 Style (17th ed.) Citation

Olderog, Ernst-Rüdiger, Bernhard Steffen, and 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 (9th ed.) Citation

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.