S. Lizeth Tapia Tarifa

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

Coauthor Index

1	Ana Gabriela Garis	[2]
2	Chris George	[1] [2]
3	Abigail Parisaca Vargas	[1] [2]