Mechanized Extraction of Topology Anti-patterns in Wireless Networks.

Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi

Browse the full IFM paper archive.