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.

A New Scheme for Memory-Efficient Probabilistic Verification

Ulrich Stern, David L. Dill. A New Scheme for Memory-Efficient Probabilistic Verification. In Reinhard Gotzhein, Jan Bredereke, editors, Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. Volume 69 of IFIP Conference Proceedings, pages 333-348, Chapman & Hall, 1996.

Authors

Ulrich Stern

This author has not been identified. Look up 'Ulrich Stern' in Google

David L. Dill

This author has not been identified. Look up 'David L. Dill' in Google
runs on