Result: Temporal verification of reactive systems

*Title*:

Temporal verification of reactive systems : safety / Zohar Manna ; Amir Pnueli

*Author/editor-in-chief*:

Manna, Zohar ; Pnueli, Amir

*Publication*:

New York [u.a.] : Springer, 1995

*Physical description scale*:

XVIII, 512 S. : graph. Darst. ; 25 cm

*Format*:

*book*

*Language*:

*ger*

*Notes*:

Literaturverz. S. 465 - 479

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

0387944591

*Result*: Temporal verification of reactive systems