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.

Specifying and Verifying Fault-Tolerant Systems

Leslie Lamport, Stephan Merz. Specifying and Verifying Fault-Tolerant Systems. In Hans Langmaack, Willem P. de Roever, Jan Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings. Volume 863 of Lecture Notes in Computer Science, pages 41-76, Springer, 1994.

Authors

Leslie Lamport

This author has not been identified. Look up 'Leslie Lamport' in Google

Stephan Merz

This author has not been identified. It may be one of the following persons: Look up 'Stephan Merz' in Google
runs on