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.

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity

Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang 0004. Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. In Mikolaj Bojanczyk, Chandra Chekuri, editors, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference. Volume 213 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Jonni Virtema

This author has not been identified. Look up 'Jonni Virtema' in Google

Jana Hofmann

This author has not been identified. Look up 'Jana Hofmann' in Google

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google

Juha Kontinen

This author has not been identified. Look up 'Juha Kontinen' in Google

Fan Yang 0004

This author has not been identified. Look up 'Fan Yang 0004' in Google
runs on