Issued Patents 2011
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7958489 | Out of band data augmentation | Henricus Johannes Maria Meijer, Jeffrey Van Gogh, Bruno S. Bozza, Brian C. Beckman, Wei Zhu | 2011-06-07 |
| 7933815 | System and method for obtaining technical support services over a network | Ian Austin Hutty, James Duncan Waltham | 2011-04-26 |
| 7926037 | Hiding irrelevant facts in verification conditions | K. Rustan M. Leino | 2011-04-12 |