Temporal verification of reactive systems :
Manna, Zohar.
Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. - New York : Springer, c1995. - xviii, 512 p. : ill. ; 25 cm.
Includes bibliographical references (p. [465]-479) and indexes.
9781461287018
Computer software--Verification.
Parallel processing (Electronic computers)
005.2 / MAT
Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. - New York : Springer, c1995. - xviii, 512 p. : ill. ; 25 cm.
Includes bibliographical references (p. [465]-479) and indexes.
9781461287018
Computer software--Verification.
Parallel processing (Electronic computers)
005.2 / MAT