IP Library Assignment 024179/0612
Patent Assignment
Reel/Frame 024179/0612

Assignment of Assignor's Interest

Recorded: 2010-04-02 Pages: 2
Assignor
KAHLON, VINEET
Executed: 2010-03-26
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, SUITE 200, PRINCETON, NEW JERSEY, 08540
Covered Property (1)
System and Method for Verification of Programs Using Threads Having Bounded Lock Chains
Patent: 8,543,985 →
Application: 12/753,291 →
Publication: US 2011/0010693
Related Assignments (2)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Jan 14, 2014
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 031998/0667 →
Corrective Assignment to Correct the Remove 8538896 and Add 8583896 Previously Recorded on Reel 031998 Frame 0667. Assignor(S) Hereby Confirms the Assignment. May 30, 2017
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 042754/0703 →