Verifying Timing Properties of Concurrent Algorithms (1994)

by Victor Luchangco , Ekrem Söylemez , Stephen Garland , Nancy Lynch
Citations:15 - 6 self