Verifying concurrent processes using temporal logic

• Κύριος συγγραφέας: Hailpern, Brent T. 1955- ((Brent Tzion)) (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag 1982
• Σειρά: Lecture notes in computer science 129
• Θέματα: Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)