- CSB - MetaPress - Google - Bing - Yahoo
 | 1994 | |
|---|---|---|
| 1 |      | Bart Vergauwen, Johan Lewi, I. Avau, A. Poté: Efficient Computation of Nested Fix-Points, with Applications to Model Checking. ICTL 1994: 165-179 |
| 1 | I. Avau | [1] |
| 2 | Johan Lewi | [1] |
| 3 | Bart Vergauwen | [1] |