External Links

Cite Key

Statistics

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

PDF

Tags

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.

Effective Bug Hunting with Spin and Modex

Gerard J. Holzmann, Theo C. Ruys. Effective Bug Hunting with Spin and Modex. In Patrice Godefroid, editor, Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Volume 3639 of Lecture Notes in Computer Science, pages 24-24, Springer, 2005. [doi]

Authors

Gerard J. Holzmann

This author has not been identified. Look up 'Gerard J. Holzmann' in Google

Theo C. Ruys

This author has not been identified. Look up 'Theo C. Ruys' in Google
runs on