Temporal verification of reactive systems :
Manna, Zohar
Temporal verification of reactive systems : safety / by Zohar Manna. - New York : Springer, 1995. - xviii, 512 p. : ill. ;
Include Index
9780387944593 E139.99
Parallel processing
005.2 / MAN/T
Temporal verification of reactive systems : safety / by Zohar Manna. - New York : Springer, 1995. - xviii, 512 p. : ill. ;
Include Index
9780387944593 E139.99
Parallel processing
005.2 / MAN/T