Using the Temporal Logic RDL for Design Specifications.
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
VenueBCONCUR
Year1989
ProceedingsConcurrency: Theory, Language, And Architecture
DBLP recordconf/concur/GabbayHH89 ↗
Browse the full CONCUR paper archive.