The stuttering principle revisited

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

The complexity of propositional linear temporal logics

A. Prasad Sistla, E. M. Clarke · Journal of the ACM · 1985 · 1.1K citations · Full text

Humanities, Computer Science, Mathematics +12

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

Computing, Computer Science, Formal Methods +12

Temporal logic can be more expressive

Pierre Wolper · Information and Control · 1983 · 658 citations

Humanities, Computer Science, Formal Methods +11

What Good is Temporal Logic

Leslie Lamport · IFIP Congress · 1983 · 445 citations

Computing, Computer Science, Formal Methods +14