Tools for Specifying Real-Time Systems

Giacomo Bucci, Maurizio Campanai, Paolo Nesi. Tools for Specifying Real-Time Systems. Real-Time Systems, 8(2-3):117-172, 1995.

Abstract

Abstract is missing.