| |
| 2008 | ||
|---|---|---|
| 1 | EE | Francisco Supino Marcondes, Emilia de Menezes Colonese, Ítalo Santiago Vega, Luiz Alberto Vieira Dias: Proposing a Formal Method to Reduce RTS Logical Model Complexity. ITNG 2008: 645-650 |
| 1 | Emilia de Menezes Colonese | [1] |
| 2 | Luiz Alberto Vieira Dias | [1] |
| 3 | Ítalo Santiago Vega | [1] |