direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Model checking memory-related properties of hardware/software codesigns
Zitatschlüssel PHDPockrandt2014
Autor Marcel Pockrandt
Jahr 2014
DOI urn:nbn:de:kobv:83-opus4-60600
Journal Dissertation
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe