| |
| 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] |