Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8195599 | Inferring system-level properties | Mark S. Boddy, Todd P. Carpenter, Kyle S. Nelson | 2012-06-05 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8195599 | Inferring system-level properties | Mark S. Boddy, Todd P. Carpenter, Kyle S. Nelson | 2012-06-05 |