- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 1 |      | Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen: An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. CAV 2000: 5-19 |
| 1 | Flemming Andersen | [1] |
| 2 | Adnan Aziz | [1] |
| 3 | Jason Baumgartner | [1] |
| 4 | Vigyan Singhal | [1] |