TY - GEN
AU - Raussen, Martin
AU - Martin Raussen
TI - Deadlocks and Dihomotopy in Mutual Exclusion Models
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - deadlock detection
KW - dihomotopy
KW - Mutual exclusion
PY - 2005
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRkYWdzdHVobDpvYWk6ZHJvcHMtb2FpLmRhZ3N0dWhsLmRlOjEzNg&tx_find_find%5Btype%5D=ris
ER -
Download citation