A Scalable Formal Framework for Analyzing the Behavior of Nature-Inspired Routing Protocols.

Muhammad Shahzad, Saira Zahid, Muddassar Farooq

Browse the full PPSN paper archive.