direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC
Citation key Liebrenz2016
Author Timm Liebrenz and Verena Klös and Paula Herber
Pages 9–17
Year 2016
DOI 10.1145/3092893.3092895
Journal ACM SIGAda Ada Letters
Volume 36
Number 2
Month December
Note Proceedings of the 2016 ACM SIGAda High Integrity Language Workshop (HILT 2016)
Publisher ACM
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe