Detecting deadlocks in concurrent systems
Publikation: Forskning › Rapport
Standard
Detecting deadlocks in concurrent systems. / Fajstrup, Lisbeth; Goubault, Eric; Raussen, Martin.
Saclay, France : LETI (CEA-Technologies Avancées), 1998. (Rapport DTA/LETI/DEIN/SLA/98-61).Publikation: Forskning › Rapport
Harvard
Fajstrup, L, Goubault, E & Raussen, M 1998, Detecting deadlocks in concurrent systems. LETI (CEA-Technologies Avancées), Saclay, France. Rapport DTA/LETI/DEIN/SLA/98-61
APA
Fajstrup, L., Goubault, E., & Raussen, M. (1998). Detecting deadlocks in concurrent systems. Saclay, France: LETI (CEA-Technologies Avancées). (Rapport DTA/LETI/DEIN/SLA/98-61).
CBE
Fajstrup L, Goubault E, Raussen M 1998. Detecting deadlocks in concurrent systems. Saclay, France: LETI (CEA-Technologies Avancées). (Rapport DTA/LETI/DEIN/SLA/98-61).
MLA
Fajstrup, Lisbeth, EricGoubault, og MartinRaussen Detecting deadlocks in concurrent systems Saclay, France: LETI (CEA-Technologies Avancées). 1998. (Rapport DTA/LETI/DEIN/SLA/98-61).
Vancouver
Fajstrup L, Goubault E, Raussen M. Detecting deadlocks in concurrent systems. Saclay, France: LETI (CEA-Technologies Avancées), 1998. (Rapport DTA/LETI/DEIN/SLA/98-61).
Author
Bibtex
@book{30e7be809cb111db8ed6000ea68e967b,
title = "Detecting deadlocks in concurrent systems",
publisher = "LETI (CEA-Technologies Avancées)",
author = "Lisbeth Fajstrup and Eric Goubault and Martin Raussen",
year = "1998",
series = "Rapport DTA/LETI/DEIN/SLA/98-61",
}
RIS
TY - RPRT
T1 - Detecting deadlocks in concurrent systems
A1 - Fajstrup,Lisbeth
A1 - Goubault,Eric
A1 - Raussen,Martin
AU - Fajstrup,Lisbeth
AU - Goubault,Eric
AU - Raussen,Martin
PB - LETI (CEA-Technologies Avancées)
PY - 1998
Y1 - 1998
BT - Detecting deadlocks in concurrent systems
T3 - Rapport DTA/LETI/DEIN/SLA/98-61
T3 - en_GB
ER -