![]() |
| 2008 | ||
|---|---|---|
| 1 | EE | Katharina Weinberger, Slava Bulach, Robert Bosch: Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits. DATE 2008: 937-938 |
| 1 | Robert Bosch | [1] |
| 2 | Katharina Weinberger | [1] |