ISBN 303091383X books & textbook
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Olderog, Ernst-Rüdiger Steffen, Bernhard Yi, Wang
Springer /2021-11-22 Paperback / 232 Pages
isbn-10: 303091383X / isbn-13: 9783030913830
