| |
| 1995 | ||
|---|---|---|
| 1 | Michel Bidoit, Claude Chevenier, Christine Pellen, Jérôme Ryckbosch: An Algebraic Specification of the Steam-Boiler Control System. Formal Methods for Industrial Applications 1995: 79-108 | |
| 1 | Michel Bidoit | [1] |
| 2 | Christine Pellen | [1] |
| 3 | Jérôme Ryckbosch | [1] |