- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542 |
| 1 | Alessandro Armando | [1] |
| 2 | Massimo Benerecetti | [1] |
| 3 | Dario Carotenuto | [1] |
| 4 | Jacopo Mantovani | [1] |