• Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol 

      He, Xin; Kumar, Ram; Mu, Liping; Gjøsæter, Terje; Li, Frank Y. (Journal article; Peer reviewed, 2012)
      Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and ...