Designing Checkers for Programs that Run in Parallel

Ronitt Rubinfeld. Designing Checkers for Programs that Run in Parallel. Algorithmica, 15(4):287-301, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.