- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero: Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS 2009: 58-72 |
| 1 | Víctor A. Braberman | [1] |
| 2 | Diego Garbervetsky | [1] |
| 3 | Nicolas Kicillof | [1] |
| 4 | Alfredo Olivero | [1] |