Specifying Real-Time Properties With Metric Temporal Logic

·1990·DOI

Role in the Field

Abstract

Citations

799

Year

1990

PageRank

4.0 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers