UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Using the Temporal Logic RDL for Design Specifications.

Gabbay, DM; Hodkinson, IM; Hunter, A; (1989) Using the Temporal Logic RDL for Design Specifications. In: Yonezawa, A and Ito, T, (eds.) Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings. (64 - 78). Springer

Full text not available from this repository.


Type:Book chapter
Title:Using the Temporal Logic RDL for Design Specifications.
ISBN:3-540-53932-8
DOI:10.1007/3-540-53932-8_44
Publisher version:http://www.informatik.uni-trier.de/~ley/db/conf/concur/concur1989.html
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record