J. Hooman

1955

• Specification and compositional verification of real-time systems