direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Verification of Low-Level Real-Time Programs using Timed CSP
Zitatschlüssel Bartels2011d
Autor Björn Bartels
Jahr 2011
Journal Formal Methods 2011 Doctoral Symposium
Herausgeber University of Limerick
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe