Loose Specification of Real Time Systems

Jan van Katwijk, Hans Toetenel. Loose Specification of Real Time Systems. Informatica (Slovenia), 19(1), 1995.

Abstract

Abstract is missing.