| |
| 2007 | ||
|---|---|---|
| 2 | EE | Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542 |
| 1 | EE | Dario Carotenuto, Aniello Murano, Adriano Peron: 2-Visibly Pushdown Automata. Developments in Language Theory 2007: 132-144 |
| 1 | Alessandro Armando | [2] |
| 2 | Massimo Benerecetti | [2] |
| 3 | Jacopo Mantovani | [2] |
| 4 | Aniello Murano | [1] |
| 5 | Adriano Peron | [1] |
| 6 | Pasquale Spica | [2] |