Treffer: Verifying concurrent processes using temporal logic

Titel:

Beteiligt:

Hailpern, Brent T.

Veröffentlicht:

Berlin [u.a.] : Springer, 1982

Umfang:

VIII, 208 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 129
alle Bände anzeigen

Hochschulschrift:

Zugl.: Diss.

RVK-Notation:

Schlagworte:

ISBN:

3540112057 ; 0387112057

Zusatz-Informationen