Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9424157 | Early detection of failing computers | Nikolaj S. Bjorner, Assaf Schuster, Ran Gilad-Bachrach | 2016-08-23 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9424157 | Early detection of failing computers | Nikolaj S. Bjorner, Assaf Schuster, Ran Gilad-Bachrach | 2016-08-23 |