Thierry Gueguen

	2011
1		Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen: A dynamic constraint-based BMC strategy for generating counterexamples. SAC 2011: 1633-1638

Coauthor Index

1	Hélène Collavizza	[1]
2	Samuel Devulder	[1]
3	Michel Rueher	[1]
4	Nguyen Le Vinh	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page