Treffer: The temporal logic of reactive and concurrent systems
Titel:
The temporal logic of reactive and concurrent systems : specification / Zohar Manna ; Amir Pnueli
Verantwortlich:
Veröffentlicht:
New York [u.a.] : Springer, 1992
Umfang:
XIV, 427 S. : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Frühere/Spätere Titel:
Ab Bd. 2 u.d.T.: Manna, Zohar: Temporal verification of reactive systems
Anmerkungen:
Literaturverz. S. 389 - 401
RVK-Notation:
Schlagworte:
ISBN:
3540976647 ; 0387976647