- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik: Hypervolume Approximation in Timed Automata Model Checking. FORMATS 2007: 69-81 |
| 1 | Víctor A. Braberman | [1] |
| 2 | Alfredo Olivero | [1] |
| 3 | Fernando Schapachnik | [1] |