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.

JMOCHA: A Model Checking Tool that Exploits Design Structure

Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang. JMOCHA: A Model Checking Tool that Exploits Design Structure. In Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada. pages 835-836, IEEE Computer Society, 2001.

Authors

Rajeev Alur

This author has not been identified. It may be one of the following persons: Look up 'Rajeev Alur' in Google

Luca de Alfaro

This author has not been identified. Look up 'Luca de Alfaro' in Google

Radu Grosu

This author has not been identified. Look up 'Radu Grosu' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

M. Kang

This author has not been identified. Look up 'M. Kang' in Google

Christoph M. Kirsch

This author has not been identified. Look up 'Christoph M. Kirsch' in Google

Rupak Majumdar

This author has not been identified. Look up 'Rupak Majumdar' in Google

Freddy Y. C. Mang

This author has not been identified. Look up 'Freddy Y. C. Mang' in Google

Bow-Yaw Wang

This author has not been identified. It may be one of the following persons: Look up 'Bow-Yaw Wang' in Google
runs on