Cover Image

Temporal verification of reactive systems : safety /

Show other versions (1)
Bibliographic Details
Main Author: Manna, Zohar
Other Authors: Pnueli, Amir, 1941-2009
Format: Book
Language:English
Published: New York : Springer, [1995]
Subjects:
Computer software > Verification.
Parallel processing (Electronic computers)

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 M36 1995
 
Call Number Status Get It
QA76.76.V47 M36 1995 Available