Inventor

GODEFROID PATRICE I

US2 patents

Patents

2 patents

US5768498AJun 16, 1998

Protocol verification using symbolic representations of queues

LUCENT TECHNOLOGIES INC35 citations83

US7002903B2Feb 21, 2006

Automatic verification of Walsh code orthogonality

LUCENT TECHNOLOGIES INC3 citations56