Network verification via routing table queries
scientific article; zbMATH DE number 6346985
scientific article