| 2009 | ||
|---|---|---|
| c2 | Jens Brandt, Klaus Schneider, Adrian Willenbücher: Using IP Cores in Synchronous Languages. MBMV 2009: 97-106 | |
| 2008 | ||
| c1 | Jens Brandt, Klaus Schneider, Adrian Willenbücher: Hardware Acceleration for Model Checking. MBMV 2008: 179-187 | |
| 1 | Jens Brandt | |
| 2 | Klaus Schneider |
Data released under the ODC-BY 1.0 license — See also our legal information page