Active Bibliography

2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1177 Temporal and modal logic – E. Allen Emerson - 1995
40 Automated Temporal Reasoning about Reactive Systems – E. Allen Emerson - 1996
770 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
477 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
859 The Temporal Logic of Actions – Leslie Lamport - 1993