direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2014

A mechanized verification environment for real-time process algebras and low-level programming languages
Zitatschlüssel Bartels2014b
Autor Bartels, B.
Jahr 2014
Verlag OPUS Technische Universität Berlin (also PhD dissertation 2014)
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe