Using the Temporal Logic RDL for Design Specifications

Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter. Using the Temporal Logic RDL for Design Specifications. In Akinori Yonezawa, Takayasu Ito, editors, Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings. Volume 491 of Lecture Notes in Computer Science, pages 64-78, Springer, 1989.

Abstract

Abstract is missing.