- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Pierre Dauchy | [1] |
| 2 | Marie-Claude Gaudel | [1] [2] |
| 3 | Alexandre V. Zamulin | [2] |