direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Verification of Low-Level Real-Time Programs using Timed CSP
Citation key Bartels2011d
Author Björn Bartels
Year 2011
Journal Formal Methods 2011 Doctoral Symposium
Editor University of Limerick
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe