Improving Angel's Parallel Operator: Gumtree's Approach
Andrew Martin‚ Ray Nickson and Mark Utting
Details
| Address |
The University of Queensland‚ QLD 4072‚ Australia |
| Institution |
Software Verification Research Centre |
| Number |
97−15 |
| Year |
1997 |
Links
Related pages
|
People |