Temporal verification of reactive systems : safety

Přehled o publikaci

1995

MANNA, Zohar a A. PNUELI

MANNA, Zohar a A. PNUELI

New York, xviii, 512, 1995

Springer

0387944591

MANNA, Zohar a A. PNUELI. Temporal verification of reactive systems : safety. New York: Springer, 1995, xviii, 512. ISBN 0387944591.

MANNA, Zohar a A. PNUELI. \textit{Temporal verification of reactive systems : safety}. New York: Springer, 1995, xviii, 512. ISBN~0387944591.