direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Model checking memory-related properties of hardware/software codesigns
Citation key PHDPockrandt2014
Author Marcel Pockrandt
Year 2014
DOI urn:nbn:de:kobv:83-opus4-60600
Journal Dissertation
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe