| Original language | English |
|---|
| Place of Publication | Århus |
|---|---|
| Publisher | Department of Computer Science, Aarhus University |
| Publication status | Published - 1996 |
| Series | B R I C S Report Series |
|---|---|
| Number | RS-96-16 |
| ISSN | 0909-0878 |
Detecting deadlocks in concurrent systems
Research output: Book/Report › Report › Research