Modeling and reasoning about wireless networks: A graph-based calculus approach.

Shichao Liu, Ying Jiang

Browse the full TASE paper archive.