Skip to content

A Declarative Language for the Specification of Real Time Systems.

Antony A. Faustini, Edgar B. Lewis

VenueARTSS
Year1985
ProceedingsRTSS

Browse the full RTSS paper archive.