Luz Garcia

	2009
3		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
2		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
1		Viviana Bruno, Luz Garcia, Sergio Nocco, Stefano Quer: Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. JSAT 5(1-4): 83-110 (2008)

Coauthor Index

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

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page