Behnam Banieqbal, Howard Barringer, Amir Pnueli (Eds.):
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings.
Lecture Notes in Computer Science 398 Springer 1989, ISBN 3-540-51803-7 
Logic
Automata,
Theorem Proving and Model Checking
- Pierre Wolper:
On the Relation of Programs and Computations to Models of Temporal Logic.
75-123
- Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs by forall-Automata.
124-164
- Bernhard Josko:
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.
165-187
- Edmund M. Clarke, Orna Grumberg:
The Model Checking Problem for Concurrent Systems with Many Similar Processes.
188-201
- Moshe Y. Vardi:
Unified Verification Theory.
202-212
Specification
Execution
- Roger Hale:
Using Temporal Logic for Prototyping: The Design of a Lift Controller.
375-408
- Dov M. Gabbay:
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems.
409-448
Last update Tue Feb 14 04:11:58 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
