TY  - THES
A1  - Schmidt, Alexander
T1  - KStructur : ein Ansatz zur Analyse und Beschreibung von Nebenläufigkeit in Betriebssystemen
Y1  - 2012
SN  - 978-3-86955-977-1
PB  - Guvillier
CY  - Göttingen
ER  - 
TY  - JOUR
A1  - Schmidt, Alexander
T1  - Automatic extraction of locking protocols
Y1  - 2010
SN  - 978-3-86956-036-6
ER  -