Specifying Real-Time Properties With Metric Temporal Logic

·1990·DOI

Engineering and Technology

Communication and Signal Processing

Dependable Communication Systems

Temporal Logic and Reasoning

Role in the Field

Neutralin Engineering and Technology

Neutralin Communication and Signal Processing

Neutralin Dependable Communication Systems

Neutralin Temporal Logic and Reasoning

Abstract

Citations

799

Year

1990

PageRank

4.0 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Temporal Networks

·2012·2,143 citations

Temporal Construal.

·2003·2,577 citations

Alternating-time Temporal Logic

·2002·814 citations

The Temporal Logic Of Actions

·1994·1,014 citations

The Temporal Logic Of Reactive And Concurrent Systems

·1992·1,488 citations

Temporal Constraint Networks

·1991·914 citations

Nonmonotonic Reasoning, Preferential Models And Cumulative Logics

·1990·999 citations

Temporal And Modal Logic

·1990·826 citations

Maintaining Knowledge About Temporal Intervals

·1983·4,618 citations

The Temporal Logic Of Programs

·1977·3,082 citations