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
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.