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] |