Estefanía Rosales

2002
1	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales: Using XML to implement abstraction for Model Checking. SAC 2002: 1021-1025

Coauthor Index

1	María-del-Mar Gallardo	[1]
2	Jesús Martínez	[1]
3	Pedro Merino	[1]