Claude Chevenier

	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

Coauthor Index

1	Michel Bidoit	[1]
2	Christine Pellen	[1]
3	Jérôme Ryckbosch	[1]