Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

Name: Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
ISBN: 9783030913830

Ernst-Rüdiger Olderog , Bernhard Steffen , Wang Yi

还没有评分