Normal view MARC view

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (Personal Name)

Preferred form: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

Machine generated authority record

Work cat.: (OSt)1659852: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Model Checking, Synthesis, and Learning