A formal approach to timing analysis and design of information systems

Antoni Olivé. A formal approach to timing analysis and design of information systems. Inf. Syst., 12(1):1-10, 1987.

Abstract

Abstract is missing.