IP Library Assignment 015937/0726
Patent Assignment
Reel/Frame 015937/0726

ASSIGNMENT OF ASSIGNOR'S INTEREST

Recorded: 2005-03-21 Received: 2005-03-21 Pages: 5
Assignors
BAUMGARTNER, JASON RAYMOND
Executed: 2005-02-17
GLOEKLER, TILMAN
Executed: 2005-02-18
KNEISEL, JOACHIM
Executed: 2005-02-18
KOESTERS, JOHANNES
Executed: 2005-02-18
Assignee
INTERNATIONAL BUSINESS MACHINES CORPORATION
NEW ORCHARD ROAD, ARMONK, NY, 10504, UNITED STATES
Covered Application (1)
METHOD AND SYSTEM FOR FORMAL UNIDIRECTIONAL BUS VERIFICATION USING SYNTHESIZING CONSTRAINED DRIVERS
App. No. 11/065,601