Peephole Partial Order Reduction (Q5458339)
From MaRDI portal
scientific article; zbMATH DE number 5262384
Language | Label | Description | Also known as |
---|---|---|---|
English | Peephole Partial Order Reduction |
scientific article; zbMATH DE number 5262384 |
Statements
Peephole Partial Order Reduction (English)
0 references
11 April 2008
0 references