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.

Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts

Yosuke Kakiuchi, Tomofumi Nakagawa, Kiyoharu Hamaguchi, Tadaaki Tanimoto, Masaki Nakanishi. Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts. IPSJ T. on System LSI Design Methodology, 4:210-221, 2011. [doi]

Authors

Yosuke Kakiuchi

This author has not been identified. Look up 'Yosuke Kakiuchi' in Google

Tomofumi Nakagawa

This author has not been identified. Look up 'Tomofumi Nakagawa' in Google

Kiyoharu Hamaguchi

This author has not been identified. Look up 'Kiyoharu Hamaguchi' in Google

Tadaaki Tanimoto

This author has not been identified. Look up 'Tadaaki Tanimoto' in Google

Masaki Nakanishi

This author has not been identified. Look up 'Masaki Nakanishi' in Google
runs on