Jason Raymond Baumgartner

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Model checking of liveness property in a phase abstracted model
- Patent number 8,627,273
- Issue date Jan 7, 2014
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING