| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Århus |
|---|---|
| Forlag | Department of Computer Science, Aarhus University |
| Status | Udgivet - 1996 |
| Navn | B R I C S Report Series |
|---|---|
| Nummer | RS-96-16 |
| ISSN | 0909-0878 |
Detecting deadlocks in concurrent systems
Lisbeth Fajstrup, Martin Raussen
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning