An automatic technique for static deadlock prevention (Q3455052)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6515874
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An automatic technique for static deadlock prevention |
scientific article; zbMATH DE number 6515874 |
Statements
An Automatic Technique for Static Deadlock Prevention (English)
0 references
3 December 2015
0 references
0.7894585728645325
0 references
0.7841302156448364
0 references
0.776325523853302
0 references
0.7738921642303467
0 references
0.77083420753479
0 references
