Uri Barkai

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

2 Uri Barkai: Seamless multi-radio integration challenges. DAC 2003: 72

1 Pascalin Amagbégnon, Uri Barkai: Verifying the Implementation of an Error Control Code. Formal Methods in System Design 22(2): 155-161 (2003)

	2003
2		Uri Barkai: Seamless multi-radio integration challenges. DAC 2003: 72
1		Pascalin Amagbégnon, Uri Barkai: Verifying the Implementation of an Error Control Code. Formal Methods in System Design 22(2): 155-161 (2003)

Coauthor Index