TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


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


Quick Access

Schnellnavigation zur Seite über Nummerneingabe