%0 Generic
%T Deadlocks and Dihomotopy in Mutual Exclusion Models
%A Raussen, Martin
%A Martin Raussen
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K deadlock detection
%K dihomotopy
%K Mutual exclusion
%D 2005
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U https://katalog.slub-dresden.de/en/?cHash=d436d54d7a76fc6fe03d5b8c85ebf4cf&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRkYWdzdHVobDpvYWk6ZHJvcHMtb2FpLmRhZ3N0dWhsLmRlOjEzNg&tx_find_find%5Btype%5D=endnote
Download citation