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.

Efficient SMT-Based Model Checking for Signal Temporal Logic

Jia Lee, Geunyeol Yu, Kyungmin Bae. Efficient SMT-Based Model Checking for Signal Temporal Logic. In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021. pages 343-354, IEEE, 2021. [doi]

Authors

Jia Lee

This author has not been identified. Look up 'Jia Lee' in Google

Geunyeol Yu

This author has not been identified. Look up 'Geunyeol Yu' in Google

Kyungmin Bae

This author has not been identified. Look up 'Kyungmin Bae' in Google
runs on