direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

A mechanized verification environment for real-time process algebras and low-level programming languages
Citation key PHDBartels2014
Author Björn Bartels
Year 2014
DOI urn:nbn:de:kobv:83-opus4-55430
Journal Dissertation
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe