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.

AutoFocus: A Tool for Distributed Systems Specification

Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies. AutoFocus: A Tool for Distributed Systems Specification. In Bengt Jonsson, Joachim Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT 96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Volume 1135 of Lecture Notes in Computer Science, pages 467-470, Springer, 1996.

Authors

Franz Huber

This author has not been identified. Look up 'Franz Huber' in Google

Bernhard Schätz

Identified as Bernhard Schätz

Alexander Schmidt

This author has not been identified. Look up 'Alexander Schmidt' in Google

Katharina Spies

This author has not been identified. Look up 'Katharina Spies' in Google
runs on