IP Library › Assignment 013243/0050
Patent Assignment
Reel/Frame 013243/0050

Assignment of Assignor's Interest

Recorded: 2002-08-28 Pages: 4
Assignors
GANAI, MALAY
Executed: 2002-07-23
LINTAO, ZHANG
Executed: 2002-07-24
GUPTA, AARTI
Executed: 2002-07-24
YANG, ZIJIANG
Executed: 2002-08-07
ASHAR, PRANAV
Executed: 2002-07-24
Assignee
NEC CORPORATION
4 INDEPENDENCE WAY, PRINCETON, NEW JERSEY, 08540
Covered Property (1)
Efficient Approaches for Bounded Model Checking
Patent: 7,711,525 →
Application: 10/157,486 →
Publication: US 2003/0225552
Related Assignments (2)
Other recorded transfers of the patent in this record — the chain of ownership.
To Correct the Assignee's Name at Reel 013243, Frame 0050 Dec 12, 2002
From: GANAI, MALAY; LINTAO, ZHANG; GUPTA, AARTI; YANG, ZIJIANG
To: NEC USA, INC.
Reel/Frame 013568/0539 →
Assignment of Assignor's Interest Apr 11, 2003
From: NEC USA, INC.
To: NEC CORPORATION
Reel/Frame 013926/0288 →