IP Library › Assignment 016406/0764
Patent Assignment
Reel/Frame 016406/0764

Assignment of Assignor's Interest

Recorded: 2005-03-23 Pages: 3
Assignors
GANAI, MALAY K.
Executed: 2005-03-21
GUPTA, AARTI
Executed: 2005-03-21
ASHAR, PRANAV
Executed: 2005-03-21
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, PRINCETON, NEW JERSEY, 08540
Covered Property (1)
Efficient Sat-Based Unbounded Symbolic Model Checking
Patent: 7,305,637 →
Application: 11/087,898 →
Publication: US 2005/0240885
Related Assignments (1)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Feb 12, 2008
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 020487/0759 →