Skip to content

Specification of Real-Time Systems in Real-Time Temporal Interval Logic.

K. T. Narayana, A. A. Aaby

VenueARTSS
Year1988
ProceedingsRTSS

Browse the full RTSS paper archive.