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 Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker

Tam Thi Thanh Nguyen, Kazuhiro Ogata. A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker. In Wei Dong, Xiaoyuan Xie, editors, 2017 International Conference on Software Analysis, Testing and Evolution, SATE 2017, Harbin, China, November 3-4, 2017. pages 53-62, IEEE, 2017. [doi]

Authors

Tam Thi Thanh Nguyen

This author has not been identified. Look up 'Tam Thi Thanh Nguyen' in Google

Kazuhiro Ogata

This author has not been identified. Look up 'Kazuhiro Ogata' in Google
runs on