Christophe Darlot

	2005
4		Christophe Darlot, Alain Finkel, Laurent Van Begin: About Fast and TReX Accelerations. Electr. Notes Theor. Comput. Sci. 128(6): 87-103 (2005)
	2003
3		Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Refinement Preserves PLTL Properties. ZB 2003: 408-420
	2001
2		Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME 2001: 2-19
	2000
1		Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB 2000: 230-249

Coauthor Index

1	Laurent Van Begin	[4]
2	Françoise Bellegarde (Françoise Bellegarde-Webb)	[1] [2]
3	Alain Finkel	[4]
4	Jacques Julliand	[1] [2] [3]
5	Olga Kouchnarenko	[1] [2] [3]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page