Model Checking, Synthesis, and Learning
Springer International Publishing
Title |
Model Checking, Synthesis, and Learning
|
---|---|
Published by |
Springer International Publishing, January 2021
|
DOI | 10.1007/978-3-030-91384-7 |
ISBNs |
978-3-03-091383-0, 978-3-03-091384-7
|
Editors |
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi |
Country | Count | As % |
---|---|---|
United Kingdom | 1 | 25% |
Unknown | 3 | 75% |
Type | Count | As % |
---|---|---|
Members of the public | 3 | 75% |
Scientists | 1 | 25% |