Rüdiger Ehlers

E1496735 UNEXPLORED

Rüdiger Ehlers is a German computer scientist known for his work in formal methods, reactive synthesis, and verification of complex systems.

All labels observed (1)

Label Occurrences
Rüdiger Ehlers canonical 1

How this entity was disambiguated

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Ehlers hasNotableBearer Rüdiger Ehlers