Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Willkommen bei SOAMED | ehemalige DoktorandInnen | Bartels, Björn | Bartels, Björn Dr. Björn Bartels Mitgliedschaft bei SOAMED: 2012 - 2014 Betreuer: Prof. Glesner (TU Berlin) Titel der Dissertation: "A Mechanized Verification Environment for Real-Time Process Algebras and Low-Level Programming Languages" Verteidigung am: 10.04.2014 Homepage: http://www.swt.tu-berlin.de/menue/ueber_uns/team/bjoern_bartels/