Luz Garcia

	2009
2		Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer: Speeding up model checking by exploiting explicit and hidden verification constraints. DATE 2009: 1686-1691
	2008
1		Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer: Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. FMCAD 2008: 1-8

Coauthor Index

1	Gianpiero Cabodi	[1] [2]
2	Paolo Camurati	[1] [2]
3	Marco Murciano	[1] [2]
4	Sergio Nocco	[1] [2]
5	Stefano Quer	[1] [2]