%0 Conference Proceedings
%F kerboeuf00a
%A Kerboeuf, M.
%A Nowak, D.
%A Talpin, J. P.
%T The steam-boiler problem in SIGNAL-COQ
%B International Conference on Theorem Proving in Higher-Order Logics
%S Lecture Notes in Computer Science
%I Springer
%U ftp://ftp.irisa.fr/local/signal/publis/articles/paper_TPHOLs.ps.gz
%8 August
%D 2000