Non-concurrency analysis (1993)

by Stephen P Masticola, Barbara G Ryder
Venue:In PPOPP