Seamless multi-radio integration challenges. - Uri Barkai (DAC, 2003)

Verifying the Implementation of an Error Control Code. - Pascalin Amagbégnon; Uri Barkai (Formal Methods Syst. Des., 2003)