Issued Patents 2020
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10831956 | Efficient execution of alternating automaton representing a safety assertion for a circuit | Eduard Cerny | 2020-11-10 |
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10831956 | Efficient execution of alternating automaton representing a safety assertion for a circuit | Eduard Cerny | 2020-11-10 |