- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Matthias Raffelsieper, MohammadReza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema: Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. FMICS 2009: 133-148 |
| 1 | Matthias Raffelsieper | [1] |
| 2 | Jan-Willem Roorda | [1] |
| 3 | Chris W. H. Strolenberg | [1] |
| 4 | Hans Zantema | [1] |