Temporal verification of reactive systems Safety

• Main Authors: Manna, Zohar (Author), Pnueli, Amir (Author)
• Format: Book
• Language: English
• Published: New York Springer-Verlag c1995
• Subjects: COMPUTER SOFTWARE; ΕΠΕΑΕΚ
• Item Description: includes bibl references
• Physical Description: xviii,512p. fig.
• ISBN: 0 387 94459 1