Detecting deadlocks in concurrent systems

Publikation: Bog/antologi/afhandling/rapportRapportForskning

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

Citer dette

Fajstrup, L., & Raussen, M. (1996). Detecting deadlocks in concurrent systems. Århus: Department of Computer Science, Aarhus University. B R I C S Report Series, Nr. RS-96-16
Fajstrup, Lisbeth ; Raussen, Martin. / Detecting deadlocks in concurrent systems. Århus : Department of Computer Science, Aarhus University, 1996. (B R I C S Report Series; Nr. RS-96-16).
@book{18b4ad009cb111db8ed6000ea68e967b,
title = "Detecting deadlocks in concurrent systems",
author = "Lisbeth Fajstrup and Martin Raussen",
year = "1996",
language = "English",
series = "B R I C S Report Series",
number = "RS-96-16",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Fajstrup, L & Raussen, M 1996, Detecting deadlocks in concurrent systems. B R I C S Report Series, nr. RS-96-16, Department of Computer Science, Aarhus University, Århus.

Detecting deadlocks in concurrent systems. / Fajstrup, Lisbeth; Raussen, Martin.

Århus : Department of Computer Science, Aarhus University, 1996. (B R I C S Report Series; Nr. RS-96-16).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

TY - RPRT

T1 - Detecting deadlocks in concurrent systems

AU - Fajstrup, Lisbeth

AU - Raussen, Martin

PY - 1996

Y1 - 1996

M3 - Report

T3 - B R I C S Report Series

BT - Detecting deadlocks in concurrent systems

PB - Department of Computer Science, Aarhus University

CY - Århus

ER -

Fajstrup L, Raussen M. Detecting deadlocks in concurrent systems. Århus: Department of Computer Science, Aarhus University, 1996. (B R I C S Report Series; Nr. RS-96-16).