Armin Danziger

According to our database, Armin Danziger authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages.

Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2018