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.

The Complexity of Flat Freeze LTL

Benedikt Bollig, Karin Quaas, Arnaud Sangnier. The Complexity of Flat Freeze LTL. In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Benedikt Bollig

This author has not been identified. Look up 'Benedikt Bollig' in Google

Karin Quaas

This author has not been identified. Look up 'Karin Quaas' in Google

Arnaud Sangnier

This author has not been identified. Look up 'Arnaud Sangnier' in Google
runs on