26 search results - page 6 / 6 » Construction of Abstract State Graphs with PVS |
152
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. In this paper, we propose a new construction of constantdegree expanders motivated by their application in P2P overlay networks and in particular in the design of robust ...