Howard Barringer, Dov M. Gabbay. Executing Temporal Logic: Review and Prospects (Abstract). In Friedrich H. Vogt, editor, Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Volume 335 of Lecture Notes in Computer Science, pages 104-105, Springer, 1988.
Abstract is missing.