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)
       
Comparing our upper bound for max  t ( u ) based on Corollary 2 with the AS graph over time.