TY - GEN
AU - Pun, Ka I.
AU - Steffen, Martin
AU - Stolz, Volker
TI - Deadlock checking by a behavioral effect system for lock handling
PB - Elsevier BV
SN - 1567-8326
KW - Computational Theory and Mathematics
KW - Logic
KW - Theoretical Computer Science
KW - Software
PY - 2012
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation