Peter Liggesmeyer, Martin Rothfelder. Towards Automated Proof of Fail-Safe Behaviour. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 169-184, Springer, 1998. [doi]
Abstract is missing.