Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001, editors, Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Volume 13030 of Lecture Notes in Computer Science, Springer, 2021. [doi]

Conference: BIRTHDAY2021

This author has not been identified. Look up 'Ernst-Rüdiger Olderog' in GoogleThis author has not been identified. It may be one of the following persons:

Bernhard Steffen

Look up 'Bernhard Steffen' in GoogleThis author has not been identified. Look up 'Wang Yi 0001' in Google

runs on WebDSL