Model Checking, Synthesis, and Learning
de Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Ediciones (1)
- Model Checking, Synthesis, and Learning (2021)
Springer International Publishing AG · inglés · ISBN 9783030913830
de Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Springer International Publishing AG · inglés · ISBN 9783030913830