FSTTCS 2005

Patricia Bouyer, F. C., & Markey, N. (2005). FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, Proceedings.

Type

Unclassified

Intellectual base

Unclassified

Year

2005

DOI

10.1007/11590156_35

Link

https://doi.org/10.1007/11590156_35

Cited by

1 citation across 1 artifact.

Domain-specific

• Metric temporal logic
  • MTL extends qualitative event ordering with metric constraints needed to specify real-time behavior.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:96c06d4305d8 · see in the full table