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