Detecting deadlocks in concurrent systems

Publikation: Bog/antologi/afhandling/rapportRapportForskning

OriginalsprogEngelsk
UdgivelsesstedÅrhus
ForlagDepartment of Computer Science, Aarhus University
StatusUdgivet - 1996
NavnB R I C S Report Series
NummerRS-96-16
ISSN0909-0878

Citationsformater