Carole Khoury

	1999
2		Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin: Dynamic Systems with Implicit State. FASE 1999: 114-128
	1995
1		Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury: A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Formal Methods for Industrial Applications 1995: 233-264

Coauthor Index

1	Pierre Dauchy	[1]
2	Marie-Claude Gaudel	[1] [2]
3	Alexandre V. Zamulin	[2]

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