IP Library › Assignment 013568/0539
Patent Assignment
Reel/Frame 013568/0539

To Correct the Assignee's Name at Reel 013243, Frame 0050

Recorded: 2002-12-12 Pages: 7
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 USA, INC.
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.
Assignment of Assignor's Interest Aug 28, 2002
From: GANAI, MALAY; LINTAO, ZHANG; GUPTA, AARTI; YANG, ZIJIANG
To: NEC CORPORATION
Reel/Frame 013243/0050 →
Assignment of Assignor's Interest Apr 11, 2003
From: NEC USA, INC.
To: NEC CORPORATION
Reel/Frame 013926/0288 →