TY  - JOUR
A1  - Schmidt, Alexander
T1  - Automatic extraction of locking protocols
Y1  - 2010
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/30269
SN  - 978-3-86956-036-6
ER  -