Specification and compositional verification of real-time systems
By: J. Hooman..
Series: Lecture notes in computer science -- 558
Publisher: Springer
Published: 1991
Place of publication: Berlin; New York
Language: eng
Subjects: Real-time data processing.
Notes: Rev. version of the author's thesis (Ph. D.)--Eindhoven University of Technology.

Includes bibliographical references.