Thomas Bochot

	2010
2		Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. HASE 2010: 74-83
	2009
1		Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27

Coauthor Index

1	Pierre Virelizier	[1] [2]
2	Hélène Waeselynck	[1] [2]
3	Virginie Wiels	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page