21 solutions to the steam boiler case
study have been collected in a Lecture
Notes in Computer Science volume which includes a CD-ROM that
contains executable code, full definitions of all parts of the
specification, and detailed descriptions of foundational matters where
appropriate. This volume is available from Springer-Verlag or your
local bookstore as
This WWW page contains the abstracts of these contributions and the
full text of all other solutions submitted so far.
Solutions covered by the LNCS volume
Full text of further solutions
Last modified:
Martin Fränzle
(mf@informatik.uni-kiel.d400.de),
Tue Dec 10, 1996