| |
| 2009 | ||
|---|---|---|
| 2 | EE | Abigail Parisaca Vargas, Ana G. Garis, S. Lizeth Tapia Tarifa, Chris George: Model Checking LTL Formulae in RAISE with FDR. IFM 2009: 231-245 |
| 2008 | ||
| 1 | EE | Abigail Parisaca Vargas, S. Lizeth Tapia Tarifa, Chris George: A Translation from RSL to CSP. SCCC 2008: 119-126 |
| 1 | Ana G. Garis | [2] |
| 2 | Chris George | [1] [2] |
| 3 | S. Lizeth Tapia Tarifa | [1] [2] |