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.

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix

Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe. An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. In Bernady O. Apduhan, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Marina L. Gavrilova, editors, Prodeedings of the 2010 International Conference on Computational Science and Its Applications, ICCSA 2010, Fukuoka, Japan, March 23-26, 2010. pages 231-238, IEEE, 2010. [doi]

Authors

Weiqiang Kong

This author has not been identified. Look up 'Weiqiang Kong' in Google

Tomohiro Shiraishi

This author has not been identified. Look up 'Tomohiro Shiraishi' in Google

Yuki Mizushima

This author has not been identified. Look up 'Yuki Mizushima' in Google

Noriyuki Katahira

This author has not been identified. Look up 'Noriyuki Katahira' in Google

Akira Fukuda

This author has not been identified. Look up 'Akira Fukuda' in Google

Masahiko Watanabe

This author has not been identified. Look up 'Masahiko Watanabe' in Google
runs on