direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Optimized Transformation and Verification of SystemC Methods
Zitatschlüssel Pockrandt2012a
Autor Marcel Pockrandt and Paula Herber and Holger Gross and Sabine Glesner
Buchtitel Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012)
Jahr 2012
Verlag Electronic Communications of the EASST
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe