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)
Description
Physical Description:xviii, 512 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [465]-479) and indexes.
ISBN:0387944591 (acid-free paper)