Model Checking, Synthesis, and Learning

MLA

Ernst-Rüdiger Olderog, Bernhard Steffen, and Wang Yi. Model Checking, Synthesis, and Learning. Springer International Publishing, 2021.

APA

Ernst-Rüdiger Olderog, E. Olderog, Steffen, B., & Yi, W. (2021). Model Checking, Synthesis, and Learning. Springer International Publishing.

Chicago

Ernst-Rüdiger Olderog, Bernhard Steffen, and Wang Yi. Model Checking, Synthesis, and Learning. : Springer International Publishing, 2021.