Patent Assignment
Reel/Frame 020914/0709
Assignment of Assignor's Interest
Recorded: 2008-05-07
Pages: 4
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, PRINCETON, NEW JERSEY, 08540
Covered Property
(1)
Modeling and Verification of Concurrent Systems Using Smt-Based Bmc
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.