Uri Barkai

According to our database, Uri Barkai authored at least 2 papers in 2003.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2003

Verifying the Implementation of an Error Control Code.

Pascalin Amagbégnon, Uri Barkai

Formal Methods Syst. Des., 2003

Seamless multi-radio integration challenges.

Uri Barkai

Proceedings of the 40th Design Automation Conference, 2003