Designing Checkers for Programs that Run in Parallel (1994)

Cached

Download Links

by Ronitt Rubinfeld
Venue:Algorithmica
Citations:13 - 2 self