Dirk Nowotka
Has participated in:
-
Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
-
Methode zur Bewertung der Risikobilanz autonomer Fahrzeuge aus Kundensicht
-
Modeling and Analysis of Automotive Cyber-physical Systems : Formal Approaches to Latency Analysis in Practice
-
26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik Tagungsband