Model Checking, Synthesis, and Learning

Full text!
Type:
e-book
Titel:
Model Checking, Synthesis, and Learning
Auteur:
Ernst-Rüdiger Olderog; Steffen, Bernhard; Yi, Wang
Taal:
Engels
Uitgever:
Springer International Publishing 2021
ISBN:
3-030-91383-X
3-030-91384-8
Permalink:
http://bibtest.howest.be/catalog/ebk03:5100000000152605