Patent Assignment
Reel/Frame 013027/0813
Assignment of Assignor's Interest
Recorded: 2002-06-26
Pages: 2
Assignor
BEN-DAVID, SHOHAM
Executed: 2002-05-08
Assignee
INTERNATIONAL BUSINESS MACHINES CORPORATION
NEW ORCHARD ROAD, ARMONK, NEW YORK, 10504
Covered Property
(1)
Generation of Partial Traces in Model Checking
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.