Model Checking, Synthesis, and Learning - bib.howest.be

Model Checking, Synthesis, and Learning

Format:: e-book
Title:: Model Checking, Synthesis, and Learning
Author:: Ernst-Rüdiger Olderog; Steffen, Bernhard; Yi, Wang
Language:: English
Publisher:: Springer International Publishing 2021
ISBN:: 3-030-91383-X
3-030-91384-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:5100000000152605?locale=en