Deductive way of reasoning about the internet AS level topology
*
Szabó Dávid
a)
, Kőrösi Attila
a),
c)
, Bíró József
a),
b)
, Gulyás András
a),
c)
Comparing our upper bound for | V ( K
r
)| based on Corollary 3 with the AS graph over time.