direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

A Denotational Semantics for Communicating Unstructured Code
Zitatschlüssel JahnigGG2015
Autor Nils Jähnig and Thomas Göthel and Sabine Glesner
Buchtitel Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015.
Seiten 9–21
Jahr 2015
DOI 10.4204/EPTCS.178.2
Journal Electronic Proceedings in Theoretical Computer Science
Nummer 178
Herausgeber Open Publishing Association
Link zur Publikation Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe