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.

Checking LTL[F, G, X] on compressed traces in polynomial time

Minjian Zhang, Umang Mathur 0001, Mahesh Viswanathan 0001. Checking LTL[F, G, X] on compressed traces in polynomial time. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 131-143, ACM, 2021. [doi]

Authors

Minjian Zhang

This author has not been identified. Look up 'Minjian Zhang' in Google

Umang Mathur 0001

This author has not been identified. Look up 'Umang Mathur 0001' in Google

Mahesh Viswanathan 0001

This author has not been identified. Look up 'Mahesh Viswanathan 0001' in Google
runs on