On the challenge of delivering high-performance, dependable, model-checked internet servers (2005)

Cached

Download Links

by Anil Madhavapeddy , David Scott
Venue:In First Workshop on Hot Topics in System Dependability
Citations:3 - 1 self