- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 4 |      | Chuck Monahan, Forrest Brewer: Scheduling and binding bounds for RT-level symbolic execution. ICCAD 1997: 230-235 |
| 1996 | ||
| 3 | | Chuck Monahan, Forrest Brewer: Concurrent Analysis Techniques for Data Path Timing Optimization. DAC 1996: 47-50 |
| 1995 | ||
| 2 | | Chuck Monahan, Forrest Brewer: Symbolic Modeling and Evaluation of Data Paths. DAC 1995: 389-394 |
| 1 | | Chuck Monahan, Forrest Brewer: Symbolic execution of data paths. Great Lakes Symposium on VLSI 1995: 80-85 |
| 1 | Forrest Brewer | [1] [2] [3] [4] |