Title: Compositional verification of reactive and real-time systems
First published: 1993
Subjects: Real-time data processing, Verification, Computer software
LC classification: QA76.76.V47 C47 1993