Browse by Author Göthel, Thomas
Showing results 2 to 4 of 4
Preview | Issue Date | Title | Author(s) | Editor(s) |
 | 11-Oct-2018 | Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages | Berg, Nils; Göthel, Thomas; Danziger, Armin; Glesner, Sabine | - |
 | 23-Jun-2016 | Refinement-Based Verification of Communicating Unstructured Code | Jähnig, Nils; Göthel, Thomas; Glesner, Sabine | - |
 | 2020 | Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages | Berg, Nils; Göthel, Thomas; Danziger, Armin; Glesner, Sabine | - |