Patent Assignment
Reel/Frame 019051/0591
Assignment of Assignor's Interest
Recorded: 2007-03-22
Pages: 3
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, PRINCETON, NEW JERSEY, 08540
Covered Property
(1)
Accelerating High-Level Bounded Model Checking
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.