direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Optimized Transformation and Verification of SystemC Methods
Citation key Pockrandt2012a
Author Marcel Pockrandt and Paula Herber and Holger Gross and Sabine Glesner
Title of Book Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012)
Year 2012
Publisher Electronic Communications of the EASST
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe