Treffer: Temporal verification of reactive systems

Titel:

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

Verantwortlich:

Manna, Zohar ; Pnueli, Amir

Veröffentlicht:

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

Umfang:

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

Publikationstyp:

Buch

Sprache:

Deutsch

Anmerkungen:

Literaturverz. S. 465 - 479

RVK-Notation:

Schlagworte:

ISBN:

0387944591

Zusatz-Informationen