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.

Formal Verification of Real-Time Software by Symbolic Model-Checker

Kazuhiro Nakamura, Satoshi Yamane. Formal Verification of Real-Time Software by Symbolic Model-Checker. In 1st International Conference on Application of Concurrency to System Design (ACSD 98), 23-26 March 1998, Fukushima, Japan. pages 99-108, IEEE Computer Society, 1998. [doi]

Authors

Kazuhiro Nakamura

This author has not been identified. Look up 'Kazuhiro Nakamura' in Google

Satoshi Yamane

This author has not been identified. Look up 'Satoshi Yamane' in Google
runs on