112
click to vote
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...