Temporal verification of reactive systems : safety /

Bibliographic Details
Main Author: Manna, Zohar
Other Authors: Pnueli, Amir
Format: Book
Language:English
Published: New York : Springer, 1995.
Subjects:
Description
Physical Description:xviii, 512 p. ; 25 cm.
ISBN:0387944591