Ana G. Garis

2009
1	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

Coauthor Index

1	Chris George	[1]
2	S. Lizeth Tapia Tarifa	[1]
3	Abigail Parisaca Vargas	[1]