Deductive way of reasoning about the internet AS level topology*
Szabó Dávida), Kőrösi Attilaa),c), Bíró Józsefa),b), Gulyás Andrása),c)
       
CCDF for coverage overlapping of peer edges of an AS defined as x = [ t ( A ) ∩ t ( B )]/[min{ t ( A ), t ( B )}].