Olderog, E., Steffen, B., & Yi, W. (2021). Model checking, synthesis, and learning: Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Springer.
Chicago Style (17th ed.) CitationOlderog, 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. Cham: Springer, 2021.
MLA (9th ed.) CitationOlderog, Ernst-Rüdiger, et al. Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday. Springer, 2021.
Warning: These citations may not always be 100% accurate.