Model Checking, Synthesis, and Learning

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

Model Checking, Synthesis, and Learning - Springer Springer 2021

9783030913847

EBOOK