External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Automated Proof of Fail-Safe Behaviour

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]

Authors

Peter Liggesmeyer

This author has not been identified. Look up 'Peter Liggesmeyer' in Google

Martin Rothfelder

This author has not been identified. Look up 'Martin Rothfelder' in Google
runs on