Reasoning about Systems with Many Processes (1992)

Cached

Download Links

by Stevenm German , A. Prasad Sistla
Venue:Journal of the ACM
Citations:128 - 2 self