direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Preserving liveness guarantees from synchronous communication to asynchronous unstructured low-level languages
Zitatschlüssel Berg2018
Autor Nils Berg and Thomas Göthel and Armin Danziger and Sabine Glesner
Buchtitel 20th International Conference on Formal Engineering Methods (ICFEM)
Seiten 303–319
Jahr 2018
Verlag Springer
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe