| Original language | English |
|---|
| Place of Publication | Saclay, France |
|---|---|
| Publisher | LETI (CEA-Technologies Avancées) |
| Publication status | Published - 1998 |
| Series | Rapport DTA/LETI/DEIN/SLA/98-61 |
|---|
Detecting deadlocks in concurrent systems
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
Research output: Book/Report › Report › Research
59
Citations
(Scopus)