Patent Assignment
Reel/Frame 026117/0486
ASSIGNMENT OF ASSIGNOR'S INTEREST
Recorded: 2011-04-12
Received: 2011-04-12
Pages: 3
Assignee
GM GLOBAL TECHNOLOGY OPERATIONS LLC
300 RENAISSANCE CENTER, M/C 482-C23-B21, DETROIT, MI, 48265-3000, UNITED STATES
Covered Application
(1)
EFFICIENT SOURCE OF INFEASIBILITY IDENTIFICATION IN TIMED AUTOMATA TRACES
App. No. 13/053,739
→