Login / Signup

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

K. T. NarayanaA. A. Aaby
Published in: RTSS (1988)
Keyphrases