IP Library Assignment 019517/0258
Patent Assignment
Reel/Frame 019517/0258

Assignment of Assignor's Interest

Recorded: 2007-07-05 Pages: 3
Assignors
WANG, CHAO
Executed: 2007-06-21
YANG, ZIJIANG
Executed: 2007-06-21
GUPTA, AARTI
Executed: 2007-06-21
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, PRINCETON, NEW JERSEY, 08540
Covered Property (1)
Reachability Analysis for Program Verification
Patent: 7,926,039 →
Application: 11/692,421 →
Publication: US 2008/0016497
Related Assignments (1)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Feb 27, 2012
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 027767/0918 →