direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

A mechanized verification environment for real-time process algebras and low-level programming languages
Zitatschlüssel PHDBartels2014
Autor Björn Bartels
Jahr 2014
DOI urn:nbn:de:kobv:83-opus4-55430
Journal Dissertation
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe