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.

Metric Linear-Time Temporal Logic with Strict First-Time Semantics

Eric Alsmann, Martin Lange 0001. Metric Linear-Time Temporal Logic with Strict First-Time Semantics. In Thierry Vidal, Przemyslaw Andrzej Walega, editors, 32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, August 27-29, 2025, Queen Mary University of London, UK. Volume 355 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Authors

Eric Alsmann

This author has not been identified. Look up 'Eric Alsmann' in Google

Martin Lange 0001

This author has not been identified. Look up 'Martin Lange 0001' in Google
runs on