direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

A Denotational Semantics for Communicating Unstructured Code
Citation key JahnigGG2015
Author Nils Jähnig and Thomas Göthel and Sabine Glesner
Title of Book Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015.
Pages 9–21
Year 2015
DOI 10.4204/EPTCS.178.2
Journal Electronic Proceedings in Theoretical Computer Science
Number 178
Editor Open Publishing Association
Link to publication Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions