Patent Assignment
Reel/Frame 014759/0163
Assignment of Assignor's Interest
Recorded: 2004-06-22
Pages: 3
Assignors
GANAI, MALAY
Executed: 2004-06-21
GUPTA, AARTI
Executed: 2004-06-21
YANG, ZIJIANG
Executed: 2004-06-16
ASHAR, PRANAV
Executed: 2004-06-21
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, PRINCETON, NEW JERSEY, 08540
Covered Property
(1)
Efficient Distributed Sat and Sat-Based Distributed Bounded Model Checking
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.