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)
Search Result 1
Cover Image
by Manna, Zohar
Published 1995
Connect to the full text of this electronic book
eBook
Show all versions (2)