Verifying concurrent processes using temporal logic

• Main Author: Hailpern, Brent T. 1955- ((Brent Tzion)) (Author)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag 1982
• Series: Lecture notes in computer science 129
• Subjects: Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
• Physical Description: viii, 208 σ. 24 εκ.
• Bibliography: Περιέχει βιβλιογραφικές αναφορές
• ISBN: 3540112057